Mahdieh Zaker

Graduate Research and Teaching Assistant · School of Computing

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

简介

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.

教育经历

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。