Mahdieh Zaker

Graduate Research and Teaching Assistant · School of Computing

Formal VerificationController SynthesisAutonomous SystemsData-driven ControlLarge-scale Cyber-physical Systems

About

Mahdieh is pursuing a PhD in Prof. Abolfazl Lavaei's group at Newcastle University. Her research integrates formal methods with systems and control theory, focusing on verification and compositional controller synthesis for stochastic cyber-physical systems with guarantees.

Education

Master's degree in Electrical Engineering (Control major), Amirkabir University of Technology (Tehran Polytechnic), 2022
Bachelor's degree, K. N. Toosi University of Technology, 2019

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.