1111 Engineering Drive
Boulder, CO 80309-0430 USA
Office: ECCE 1B09
I am an associate professor in the Computer Science Department at University of Colorado Boulder. Between May 2014 and January 2019, I was an assistant professor (W2 grade) in the Department of Electrical Engineering at Technical University of Munich where I led the Hybrid Control Systems Group. I received a Ph.D. degree in Electrical Engineering and an MA degree in Mathematics both from University of California, Los Angeles in 2012, an M.Sc. degree in Electrical Engineering from Sharif University of Technology in 2007, and a B.Sc. degree in Electrical Engineering from Isfahan University of Technology in 2005. I received the NSF Career award in 2022 and ERC starting grant award from the European Research Council in 2018.
My research interests include verification and control of cyber-physical systems, hybrid systems, embedded control software synthesis, networked control systems, and incremental properties of nonlinear control systems.
Click here for my profile on Google Scholar
Click here for my updated CV