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)