麻豆传媒

Amy Nejati is an Assistant Professor in the Secure and Resilient Systems group at the School of Computing, 麻豆传媒, United Kingdom. Prior to this, she was a Postdoctoral Associate at the  (MPI-SWS) in Germany, working with Anne-Kathrin Schmuck from July 2023 to May 2024. She also served as a Senior Researcher in the  at . She obtained her Ph.D. in  from the , within the Hybrid Control Systems Lab under the supervision of . She holds both B.Sc. and M.Sc. degrees in Electrical Engineering. In 2024, she was selected as a .

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.com.

• Autonomous Systems
• Safe & Secure CPS
• Safe Autonomy & AI
• Data-Driven Control
• Formal Methods

• Spring 2026: Security of Complex Systems (CSC8207)
• Spring 2026: Advanced Topics in Cyber Security (CSC8213)
• Spring 2025: Advanced Topics in Cyber Security (CSC8213)
• Autumn 2024: Fault Tolerant and Cyber-Physical Systems (CSC3634)

• Articles

  • Nejati A, Lavaei A, Jagtap P, Soudjani S, Zamani M. . IEEE Transactions on Automatic Control 2023, 68(5), 3011-3024.
  • Nejati A, Lavaei A, Soudjani S, Zamani M. . IEEE Control Systems Letters 2023, 7, 223-228.
  • Nejati A, Zamani M. . IEEE Control Systems Letters 2023, 7, 2497-2502.
  • Nejati A, Zamani M. . Leibniz Transactions on Embedded Systems 2022, 8(2), 06:1-06:17.
  • Nejati A, Soudjani S, Zamani M. . Automatica 2022, 145, 110513.
  • Nejati A, Soudjani S, Zamani M. . European Journal of Control 2021, 57, 82-94.
  • Nejati, A, Soudjani, S, Zamani, M. Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control Systems Letters 2020.
  • Nejati, A, Zarrabi, F, Rahimi, M, Mansouri, Z. Effect of Photonic Crystal Arrangement on Metamaterial Characteristic at THz Domain. Optik International Journal for Light and Electron Optics 2015.
  • Nejati, A, Sadeghzadeh, RA, Geran, F. Effect of Photonic Crystal and Frequency Selective Surface Implementation on Gain Enhancement in the Microstrip Patch Antenna at Terahertz Frequency. Physica B: Condensed Matter 2014.

• Conference Proceedings (inc. Abstracts)

  • Gardner J, Wooding B, Nejati A, Lavaei A. . In: 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025). 2025, Irvine, California: ACM.
  • Zaker M, Nejati A, Lavaei A. . In: 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025). 2025, Irvine, California: ACM. In Press.
  • Nejati A, Schmuck A. . In: 63rd IEEE Conference on Decision and Control (CDC 2024). 2024, Milan, Italy: IEEE.
  • Akbarzadeh O, Nejati A, Lavaei A. . In: 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024). 2024, Vallette, Malta: IEEE.
  • Nejati A, Nayak S, Schmuck A. . 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. . In: Learning for Dynamics and Control Conference (L4DC). 2022, Stanford, CA, USA.
  • Nejati A, Zhong B, Caccamo M, Zamani M. . In: 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS). 2022, Milan: IEEE.
  • Lavaei A, Nejati A, Jagtap P, Zamani M. . In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2021). 2021, Nashville Tennessee: ACM.
  • Lavaei A, Nejati A, Soudjani S, Zamani M. . In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '21). 2021, Nashville, Tennessee: ACM.
  • Nejati A, Lavaei A, Soudjani S, Zamani M. . In: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021). 2021, Brussels, Belgium: Elsevier Ltd.
  • 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.