Amy Nejati, Prof. Dr.-Ing.
 |
Amy Nejati |
Biography
Amy Nejati is an Assistant Professor in the Secure and Resilient Systems group at the School of Computing, Newcastle University, United Kingdom. Prior to this, she was a Postdoctoral Associate at the Max Planck Institute for Software Systems (MPI-SWS) in Germany, working with Anne-Kathrin Schmuck from July 2023 to May 2024. She also served as a Senior Researcher in the Computer Science Department at Ludwig Maximilian University of Munich (LMU). She obtained her Ph.D. in Electrical Engineering from the Technical University of Munich (TUM), within the Hybrid Control Systems Lab under the supervision of Prof. Majid Zamani. She holds both B.Sc. and M.Sc. degrees in Electrical Engineering. In 2024, she was selected as a CPS Rising Star.
Her research focuses on developing trustworthy (data-driven) techniques and algorithms for the design, verification, and control of safe and secure autonomous cyber-physical systems (CPS), while providing mathematical guarantees. She integrates interdisciplinary concepts from formal methods, control theory, and data science. Her work addresses a variety of real-world safety-security-critical systems, including robotics, energy, intelligent transportation networks, and automated manufacturing systems.
News
February 2025: I will serve as a member of the Program Committee for the 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2025).
February 2025: I will co-organize multiple invited sessions on “Data-Driven Verification and Control with Provable Guarantees” at the 64th IEEE Conference on Decision and Control (CDC 2025), together with Abolfazl Lavaei (Newcastle University), Raphael Jungers (UCLouvain), and Alessandro Abate (University of Oxford).
February 2025: I will co-organize the 9th International Competition on Verifying Continuous and Hybrid Systems (ARCH 2025) – Stochastic Models Category, together with Abolfazl Lavaei (Newcastle University), Anne Remke (University of Münster), and Alessandro Abate (University of Oxford).
February 2025: New paper: “Model Order Reduction from Data with Certification”
January 2025: I will serve as a member of the Program Committee for Posters/Demos Session for the 16th ACM-IEEE International Conference on Cyber-Physical Systems (ICCPS 2025).
January 2025: Our papers “From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees” and “TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory” have been accepted at the 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025).
December 2024: New paper: “A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems”
November 2024: New paper: “Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach”
September 2024: New paper: “From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks”
August 2024: : I will co-chair the session “Formal Verification” at the 63rd IEEE Conference on Decision and Control (CDC 2024).
August 2024: New paper: “From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks”
August 2024: I have a PhD opening in my group. Please see here for more details.
July 2024: I have been appointed as an Associate Editor for European Control Conference (ECC 2025).
July 2024: Our paper “Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach” has been accepted at the 63rd IEEE Conference on Decision and Control (CDC 2024).
April 2024: I will be joining School of Computing, Newcastle University in UK as an Assistant Professor from May 2024.
April 2024: I am honored to be selected as a CPS Rising Star 2024.
April 2024: Our paper “Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks” has been accepted at the 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024) – Special Session on Data-Driven Approach for Modelling, Control and Optimization of Cyber-Physical Systems.
February 2024: I will serve as a member of the Program Committee for Posters-Demos Session of the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024).
January 2024: Our paper “Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates” has been accepted at the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024).
December 2023: I have been appointed as an Associate Editor for the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC 2024).
October 2023: I will serve as a member of the International Program Committee for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024).
June 2023: I will be joining the Control Software Systems Group at the Max Planck Institute for Software Systems (MPI-SWS) in Germany as a Postdoctoral Associate from July 2023.