Rupak Majumdar  

Ph.D., University of California at Berkeley, 2003.

Scientific Director, Max Planck Institute for Software Systems ,

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

Current Post-Docs Shahram Esmaeilsabzali   Dmitry Chistikov

Current Students Nancy Estrada   Johannes Kloos   Indranil Saha   Zilong Wang  

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.

Graduated Students and Postdocs

• Jeff Fischer: Robust service composition
• RuGang Xu: Symbolic execution algorithms for test generation
• Mike Emmi
• Rafit Izhak-Ratzin
• Pierre Ganty (PhD, ULB, Belgium): Now at IMDEA
• Roman Manevich (PhD, Tel-Aviv, Israel)

Personal

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

Rupak Majumdar, Tuesday, 28-May-2013 10:27:14 MEST