Mahmoud Salamati

Dr. Mahmoud Salamati is a Research Fellow at the Max Planck Institute for Software Systems, working in the Rigorous Software Engineering group under Professor Rupak Majumdar. His research bridges formal methods, control theory, and machine learning with applications in cyber-physical systems, energy grids, and autonomous vehicles.

Salamati's work develops formal verification techniques for stochastic systems and data-driven control synthesis methods. Recent publications focus on regret-free reinforcement learning for temporal logic specifications, metastable failure analysis in distributed systems, and abstraction-based controller synthesis. His research addresses fundamental questions about decidability and scalability in formal control synthesis while maintaining practical applications in energy management and autonomous systems.

Key contributions include novel approaches to time-bounded reachability problems in continuous-time Markov chains, symbolic control methods for multi-agent systems, and hybrid optimization techniques for power plant control. Salamati's work demonstrates consistent integration of theoretical computer science foundations with practical engineering challenges in critical infrastructure systems.