Staff Profile
Mahdieh Zaker
Graduate Research and Teaching Assistant
- Email: [email protected]
- Address: School of Computing
Newcastle University
Office 5.032, Urban Sciences Building
Newcastle, NE4 5TG, United Kingdom
Background
Mahdieh is pursuing a PhD in Prof. Abolfazl Lavaei's group at Newcastle University. 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)