Staff Profile
Dr Amy Nejati
Lecturer in Computing
- Telephone: +44 191 208 8246
- Personal Website:
- Address: School of Computing
缅北禁地
Office 6.013, Urban Sciences Building
缅北禁地, NE4 5TG, United Kingdom
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. In Press.
- 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.