Ameneh Nejati

Ameneh Nejati 

Ameneh Nejati
Ph.D. Candidate

Department of Electrical and Computer Engineering
Technical University of Munich
Room: 3019 in building 2906
Karlstr. 45/47
80333 München

Tel: +


Ameneh Nejati is currently a PhD candidate in the Hybrid Control Systems Lab, Department of Electrical and Computer Engineering at the Technical University of Munich (TUM) since April, 2018. She has received the B.Sc. and M.Sc. degrees both in Electrical Engineering with specialization in Communications. During her PhD studies, she has been working on "Automated Verification and Control of Continuous-Time Stochastic Hybrid Systems using Compositional Abstraction-based Techniques".

Her research interests revolve around formal methods, large-scale cyber-physical systems, networks of stochastic processes, wireless sensor networks and wireless communications.



  • A. Nejati, S. Soudjani, and M. Zamani, Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems, Submitted for publication, 2019.

Journal Papers

Conference Papers

Courses Taken at TUM

  • Modeling and Verification of Embedded Systems

  • Functional Analysis

  • Probability Theory

  • Control Theory