Mahmoud Khaled
Scholar

Mahmoud Khaled

Google Scholar ID: mI0ZLIkAAAAJ
Ludwig Maximilian University of Munich
Safe Autonomy | Safety-Critical Systems | Formal Methods in Control
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
339
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
1
list available
Contact
Emailkhaled.mahmoud@tum.deGitHubOpen ↗LinkedInOpen ↗
Publications
2 items
Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems
2026
Cited
0
CSymPlan: Certified Symbolic Planning and Control for High-DOF Manipulators
2026
Cited
0
Resume (English only)
Academic Achievements
  • Publications: Multiple IEEE journal papers; Patents: EP3633468A1, WO2020070206; Awards: Best M.Sc. Thesis Award (2014-2015, Minia University).
Research Experience
  • Research Assistant, Chair of Software and Computational Systems, Ludwig-Maximilian University of Munich; involved in multiple research projects on embedded control systems.
Education
  • Ph.D. Candidate, Department of Electrical and Computer Engineering, Technical University of Munich; M.Sc., Faculty of Engineering, Minia University (2014); B.Sc., Faculty of Engineering, Minia University (2009). Advisor information not provided.
Background
  • Research Interests: Automated synthesis of correct-by-construction software, formal verification of cyber-physical systems, GPGPU and hardware acceleration. Professional Field: Electrical and Computer Engineering.
Miscellany
  • Personal website link, ResearchGate, and LinkedIn account.
Co-authors
1 total
Co-author 1
Co-author 1