Sadegh Soudjani

Community Services:

  • PC member of IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018)
  • PC member of Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018) co-located with FLoC 2018 at Oxford
  • Repeatability evaluation program committee of the HSCC conference 2014, 2016, 2018
  • PC member and organizer of the first international workshop on Verification and Validation of Cyber-Physical Systems, co-located with iFM conference 2016

Supervising PhD Students:

  • Mahmoud Salamati, working on Formal Verification and Synthesis for Continuous-Time Models, Max Planck Institute, 2017-Now.
  • Abolfazl Lavaei, working on Compositional Techniques for Verification and Synthesis of Stochastic Systems, Technical University of Munich, 2017-Now.

Supervising BSc and MSc Students:

  • Mahmoud Salamati, research intern at MPI working on Formal Aggregate Modeling and Control of Population of Smart Houses, Max Planck Institute, 2016.
  • Weilian Zhou, working on "Sum-Product Algorithms for Verification of Structured Stochastic Systems," University of Oxford, 2015
  • Caspar Gevaerts, Thesis title: "Formal Abstractions of Stochastic Systems, Bringing Theory into Practice," graduated in January 2014 with cum laude, TU Delft
  • Pieter Verhoeven, Thesis title: "Modeling and Control of a Population of Thermostatically Controlled Loads," in collaboration with Nest Labs, Silicon Valley, graduated in August 2014, TU Delft

Teaching Assistants:

  • Systems Verification, Lectured for DPhil students, Center for Doctoral Training, University of Oxford, 2016.
  • Introduction to Modern Control, Lectured for DPhil students, Center for Doctoral Training, University of Oxford, 2015. Feedback from students: 4.6/5.
  • Computer-Aided Formal Verification, Lectured by Prof. A. Abate, Computer Science Department, University of Oxford, 2015. Feedback from students: 4.5/5.
  • Robust & Multivariable Control Systems, Lectured by Prof. O.H. Bosgra, TU Delft, Delft, The Netherlands, 2012-2013.
  • Knowledge-Based Control Systems, Lectured by Prof. R. Babuska, TU Delft, Delft, The Netherlands, Spring 2011.
  • Linear Control Systems, Operations Research, Industrial Control Systems, Digital & Nonlinear Control Systems, Electric Circuits I, Probability & Statistics, University of Tehran, Tehran, Iran, 2006-2008.

Lectured courses:

  • Engineering Mathematics, Zand Higher Education Institute, Spring 2010, Shiraz, Iran.
  • Signals and Systems, Linear Control Systems, Electrical Circuit Theory I, Electrical Circuit Theory II, Fazel Higher Education Institute, 2009-2010, Shiraz, Iran.

© Sadegh Soudjani 2013