Rupak Majumdar  me

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

Research

Conferences

Post-Docs

Students

Graduated Students and Postdocs

Personal


Rupak Majumdar,