Rupak Majumdar  

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)

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 Automata Theory in Summer 2017.

Previous Courses:

• Complexity Theory in Winter 2016-17.
• Foundations of cyber-physical systems in Winter 2014.

Current Post-Docs Burcu Ozkan   Anne-Kathrin Schmuck   Natsuki Urabe

Current Students Ivan Gavran   Kaushik Mallik   Mahmoud Salamati   Aman Shankar Mathur   Ivan Fedotov  

Research Tools

• BugAssist: An Eclipse plugin to localize program errors
• Splat: A test generator for C programs.
• BLAST Blast 2.0 has been released. Here are the SPIN 2005 tutorial slides on Blast.

Organization

• PC Co-Chair, Runtime Verification (RV) 2015.
• PC Co-Chair, Principles of Programming Languages (POPL), 2016.

Graduated Students and Postdocs

• Manav Mital (MS): Now at Cyral
• Jeff Fischer: Robust service composition: Now at Data-Ken
• RuGang Xu: Symbolic execution algorithms for test generation: Now at Susquehanna International Group
• Michael Emmi: Now at Amazon
• Rafit Izhak-Ratzin: Now at Robin Systems
• Pierre Ganty: Now at IMDEA Software
• Majid Zamani: Now at CU Boulder
• Indranil Saha: Now at IIT Kanpur
• Dmitry Chistikov: Now at Warwick
• Rayna Dimitrova: Now at Sheffield
• Sadegh Soudjani: Now at Newcastle
• Vinayak Prabhu: Now at Colorado State University

Personal

• Blog
• Academic Genealogy: Rupak Majumdar → Tom Henzinger → Zohar Manna's descendants and ancestors.

Rupak Majumdar,