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)

I am visiting the Automated Reasoning Group in AWS.

If you are contacting me about a tenure-track position at SWS: please note that based on MPG requirements, we have to ensure 34% gender diversity in tenure track positions. We are currently at 20%.

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.
List of Publications at DBLP

Current Post-Docs   Khushraj Madnani  

Current Students Mahmoud Salamati   Aman Shankar Mathur   Ashwani Anand   Felix Stutz   V.R. Sathiyanarayana   Mohammad Khoshechin  

Selected Graduated Students and Postdocs


Imprint / Data Protection

Rupak Majumdar,