Rupak Majumdar  me

Ph.D., University of California at Berkeley, 2003.

Scientific Director, Max Planck Institute for Software Systems

Computer Science Research at the Max Planck Society

Biographical Sketch   Curriculum Vitae (pdf)

Max Planck Institute for Software Systems
Room 414
Paul Ehrlich Str. 26
67663 Kaiserslautern, Germany
Phone + 49 (631) 9303-8500

Email:  rupak at m p i - s w s. org


My research interests are computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory.
Publications (by category) DBLP

I am teaching Foundations of cyber-physical systems in Winter 2014.

Current Post-Docs Dmitry Chistikov   Rayna Dimitrova   Vinayak Prabhu (Humboldt Post-doctoral fellow)   Anne-Kathrin Schmuck  

Current Students Susanne van den Elsen   Johannes Kloos   Filip Niksic   Zilong Wang  

Research Tools


Graduated Students and Postdocs


Rupak Majumdar, Monday, 22-Feb-2016 13:03:33 MET