Rupak Majumdar  

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

Associate Professor in Computer Science ,

at the University of California, Los Angeles.

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

Biographical Sketch

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

• Winter 2008: CS181 Formal Languages and Automata Theory
• Winter 2008: CS239 Software Testing Seminar

Research

• 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
• PL Reading Group

Conferences

• Program Co-Chair, SPIN 2008
• Program Co-Chair, HSCC 2009

Post-Docs

• Pierre Ganty (PhD, ULB, Belgium)

Students

• Mike Emmi
• Jeff Fischer
• Rafit Izhak-Ratzin
• RuGang Xu

Personal

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