Rupak Majumdar  me

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

Scientific Director, Max Planck Institute for Software Systems ,

Biographical Sketch   Curriculum Vitae (pdf)

Office:
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

Academics

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 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  

Research Tools

Graduated Students and Postdocs

Personal


Rupak Majumdar, Tuesday, 22-Apr-2014 20:48:48 MEST