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 Rayna Dimitrova   Samira Farahani   Marko Horvat   Vinayak Prabhu   Anne-Kathrin Schmuck   Sadegh Soudjani  

Current Students Ivan Gavran   Johannes Kloos   Kaushik Mallik   Filip Niksic  

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 Instart Logic
• Jeff Fischer: Robust service composition Now at Quaddra Software
• RuGang Xu: Symbolic execution algorithms for test generation
• Michael Emmi: Now at Bell Labs
• Rafit Izhak-Ratzin
• Pierre Ganty (PhD, ULB, Belgium): Now at IMDEA Software
• Roman Manevich (PhD, Tel-Aviv, Israel): Now at Ben-Gurion University
• K.C. Shashidhar (PhD, KU Leuven): Now at Mathworks
• Shahram Esmaeilsabzali (PhD, U. Waterloo): Now at Waterloo
• Majid Zamani: Now at TU Munich
• Indranil Saha: Now at IIT Kanpur
• Dmitry Chistikov: Now at Oxford
• Zilong Wang: Now at Huawei

Personal

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

Rupak Majumdar, Wednesday, 19-Apr-2017 15:48:16 MEST