Khushraj Madnani

Khushraj Madnani is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany, under Prof. Rupak Majumdar and Prof. Georg Zetzsche. His research focuses on formal logics, infinite-state models, and their applications in formal methods and verification. Previously, he was a postdoctoral researcher at Delft University of Technology (2020–2021) and a visiting fellow at the Tata Institute of Fundamental Research (2019–2020). He holds a PhD in Computer Science from the Indian Institute of Technology Bombay (2013–2019).

Research Interests:

• Specification and Verification of Timed Systems
• Scheduler Synthesis for Networked Control Cyber-Physical Systems
• Formal Logics and Models of Computation

Recent Contributions:

His work spans decidability of timed logics, formal verification of real-time systems, and control theory. Key themes include metric temporal logic extensions, decidability boundaries, and applications in cyber-physical systems. Recent articles explore quantifier elimination in Presburger arithmetic and decidability of timed temporal logics with advanced quantifiers.

Professional Roles:

He collaborates with leading research institutes and has contributed to international conferences such as CONCUR, MFCS, and CDC. His work bridges theoretical foundations with practical verification challenges in real-time systems and networked control.