Mahmoud Khaled

Technical University of Munich, LMU Klinikum

Papers

Total Citations

H-Index

About

Mahmoud Khaled is a rising researcher in the field of formal methods and control theory, with a focus on ensuring the safety and reliability of autonomous and safety-critical systems. His primary research areas include automated controller synthesis, stochastic systems, and correct-by-construction software design for large-scale applications. Khaled’s most notable contribution is the development of **AMYTISS**, a parallelized software tool implemented in C++/OpenCL that enables the automated design of provably correct controllers for large-scale discrete-time stochastic systems. This tool addresses critical challenges in safety-critical domains such as autonomous driving, traffic networks, and medical robotics, where system failures can have catastrophic consequences. With 7 citations for his foundational 2020 paper and additional recognition for his poster presentation, Khaled’s work has quickly gained traction in the formal verification community. He has also explored novel approaches to safety-critical control software through his work on **OmegaThreads**, which tackles the growing complexity of autonomous systems. Khaled’s contributions are paving the way for more reliable and scalable verification techniques, making him a promising voice in the intersection of control theory, software engineering, and autonomous systems.