Staff Profile
Mahdieh Zaker
Graduate Research and Teaching Assistant
- Email: mahdieh.zaker@ncl.ac.uk
- Address: School of Computing
Â鶹´«Ã½
Office 5.032, Urban Sciences Building
Â鶹´«Ã½, NE4 5TG, United Kingdom
Background
Mahdieh is pursuing a PhD in Prof. Abolfazl Lavaei's group at Â鶹´«Ã½. Driven by the complexities of a world fraught with uncertainties, her research integrates formal methods with systems and control theory. Her work focuses on creating frameworks that can:
1. Address verification problems through formal methods;
2. Synthesize controllers (compositionally) to meet complex specifications in (stochastic) cyber-physical systems with proven guarantees.
Mahdieh received her Master's degree in Electrical Engineering (Control major) from Amirkabir University of Technology (Tehran Polytechnic) in 2022 and her Bachelor's degree from K. N. Toosi University of Technology in 2019.
Research
- Formal Verification and Controller Synthesis
- Autonomous Systems
- Data-driven Control
- Large-scale Cyber-physical Systems
Teaching
- Spring 2024: Foundations of Data Science (CSC1033)
- Autumn 2023: Programming Portfolio 1 (CSC1034)