Sadegh Soudjani

I moved to Newcastle University: my new homepage.



Program Committee Member:

  • Repeatability evaluation program committee of the HSCC conference 2014 & 2016
  • PC member and organizer of the first international workshop on Verification and Validation of Cyber-Physical Systems, co-located with iFM conference 2016

Supervising BSc and MSc Students:

  • 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.


  • Control System Engineer in Farayand Tadbir Company (FTC) as consultant in the project: “Sarcheshmeh Coper Complex revamping and renovation of instrumentation & control systems”, ordered by National Iranian Copper Industries (NICICO), 2006-2009.
  • “Feasibility studies of medium voltage utilization for Grate Tehran electricity distribution network”, at Grate Tehran Electricity Power Distribution Company, 2008.
  • Control System Engineer in Iran’s Market Monitoring Project, ordered by Iran’s Electricity Market Regulatory Commission, 2006.
  • Trainee Electrical Engineer in Shoor Electronic Company, Summer 2006.

© Sadegh Soudjani 2013

Imprint / Data Protection