Rupak Majumdar  

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

Scientific Director, Max Planck Institute for Software Systems ,

Professor, Computer Science ,

at the University of California, Los Angeles.

Biographical Sketch
Research Contributions
Curriculum Vitae (pdf)
Blog

Contact:

Office:
4531E Boelter Hall
Department of Computer Science
University of California, Los Angeles, CA 90095
Phone (310) 825-8127 Fax (310) 794 5057

Email:  rupak at c s . uc la . edu

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.

Instruction

• Spring 2010: CS130 Software Engineering
• Fall 2009: CS239 Cyber Physical Systems

Research

• BugAssist: An Eclipse plugin to localize program errors
• Splat: A test generator for C programs.
• B2: The successor to Blast (pre-alpha).
• BLAST Blast 2.0 has been released. Here are the SPIN 2005 tutorial slides on Blast.
• HyTech
• Vampyre: A Proof Generating Theorem Prover
• Mocha
• Publications (by category) DBLP
• PL Reading Group

Conferences

• Program Co-Chair, TACAS 2010 (part of ETAPS 2010).
• [Done] Program Co-Chair, HSCC 2009 (part of CPSWeek).
• [Done] Program Co-Chair, SPIN 2008.

Post-Docs

• Elaine Render
• Pritam Roy
• K.C. Shashidhar

Students

• Manu Jose
• Indranil Saha
• Sai Deep Tetali
• Majid Zamani
• Zilong Wang

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

• Academic Genealogy (compiled by Nachum Dershowitz). See also Zohar Manna's descendants.
• Tandra's page
• Ritwik's page
• Rajit's page
• How to be a good graduate student
• As a professor, you are expected to publish papers once in a while. Here is how to get your paper rejected.