Skip to main content

Staff Profile

Dr Amy Nejati

Lecturer in Computing

  • Telephone: +44 191 208 8246
  • Personal Website: https://www.amy-nejati.de
  • Address: School of Computing
    Newcastle University
    Office 6.013, Urban Sciences Building
    Newcastle, NE4 5TG, United Kingdom
Background

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.


For more details, please visit her official website at www.amy-nejati.de.


Research
  • Autonomous Systems
  • Safe & Secure CPS
  • Safe Autonomy & AI
  • Data-Driven Control
  • Formal Methods
Teaching
  • Spring 2025: Advanced Topics in Cyber Security (CSC8213)
  • Autumn 2024: Fault Tolerant and Cyber-Physical Systems (CSC3634)
Publications

  • Articles

  • Conference Proceedings (inc. Abstracts)

    • Nejati, A, Schmuck, A. Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach. In: 63rd IEEE Conference on Decision and Control (CDC 2024). 2024. In Press.
    • Akbarzadeh O, Nejati A, Lavaei A. Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks. In: 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024). 2024.
    • Nejati A, Nayak S, Schmuck A. Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. In: 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). 2024, Hong Kong SAR, China: ACM.
    • Nejati, A, Zhong, B, Caccamo, M, Zamani, M. Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. In: Learning for Dynamics and Control Conference (L4DC). 2022.
    • Nejati, A, Zhong, B, Caccamo, M, Zamani, M. Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach. In: CPS-IoT Week workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems. 2022.
    • Lavaei, A, Nejati, A, Jagtap, P, Zamani, M. Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach. In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2021.
    • Lavaei, A, Nejati, A, Soudjani, S, Zamani, M. Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach. In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2021.
    • Nejati, A, Lavaei, A, Soudjani, S, and Zamani, M. Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. In: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS). 2021.
    • Nejati, A, Zamani, M. Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. In: 21st IFAC World Congress. 2020.
    • Nejati, A, Soudjani, S, Zamani, M. Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems. In: 21st IFAC World Congress. 2020.
    • Nejati, A, Soudjani, S, Zamani, M. Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. In: 18th European Control Conference (ECC). 2019.