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 Jie An   Jiarui Gan   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.

Selected 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
• Vinayak Prabhu: Now at Colorado State University
• Dmitry Chistikov: Now at Warwick
• Rayna Dimitrova: Now at CISPA
• Johannes Kloos: Now at Diffblue
• Filip Niksic: Now at Google
• Sadegh Soudjani: Now at Newcastle
• Anne-Kathrin Schmuck: Now at MPI-SWS
• Burcu Ozkan: Now at TU Delft

Personal

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

Rupak Majumdar,