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)

I am currently visiting the Automated Reasoning Group in AWS.

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   Jaroslav Bendik   Jiarui Gan   Ramanathan Thinniyam  

Current Students Ivan Gavran   Kaushik Mallik   Mahmoud Salamati   Aman Shankar Mathur   Ashwani Anand   Felix Stutz   Julian Haas  

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
• Natsuki Urabe

Personal

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

Rupak Majumdar,