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
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
logic, and automata theory.
Publications (by category) DBLP
I am teaching Verification of reactive systems in Summer 2014.
Current Post-Docs Dmitry Chistikov Rayna Dimitrova Vinayak Prabhu (Humboldt Post-doctoral fellow)
Current Students Susanne van den Elsen Johannes Kloos Filip Niksic Zilong Wang
Graduated Students and Postdocs
Rupak Majumdar, Tuesday, 22-Apr-2014 20:48:48 MEST