I am a PhD student in the Hybrid Control Systems Group, Department of Electrical Engineering and Information Technology at Technical University of Munich since April 2016. I received his B.Sc. (Computer and Systems Engineering 2009) and M.Sc. (Electrical Engineering 2014) from the Faculty of Engineering, Minia University, Egypt. My research interests span two main disciplines:
- Formal Methods in System Design/Synthesis (Computer-aided verification/design/synthesis of control systems);
- Cyber-Physical Systems (embedded control systems, real-time systems, hybrid systems, and networked control systems).