Rupak Majumdar  me

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

Scientific Director, Max Planck Institute for Software Systems ,

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, Tuesday, 26-May-2015 14:16:25 MEST