Ameneh Nejati is currently a Postdoctoral Researcher at the Max Planck Institute for Software Systems in Germany. She received the PhD in Electrical Engineering from the Technical University of Munich (TUM) in June 2023 under the supervision of Prof. Majid Zamani. Her research line mainly focuses on developing trustworthy (data-driven) techniques and algorithms to design, verify and control reliable cyber-physical systems while providing provable guarantees. In her research, she brings together interdisciplinary concepts from control theory, formal methods in computer science, and data science.
Cyber-physical systems (CPS) constitute complex networks where cyber and physical components are closely intertwined. These systems find application across diverse domains such as transportation, robotics, energy, and healthcare. Formal verification and controller synthesis, especially in enforcing high-level logic properties, offer challenges arising from various factors. These include the large dimension of underlying systems, the stochastic nature of dynamics, and the absence of mathematical models in practical scenarios. My research endeavours focus on developing scalable (data-driven) approaches with mathematical guarantees to address the mentioned complexities and make this dream come true to design complex, yet reliable CPS with real-world applications.