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.