R Majumdar (Preferred)
, Rupak Majumdar
R Majumdar
MPI-SWS
- Joined April 2019
Names
Emails
****@mpi-sws.org (Confirmed)
Personal Links
Education & Career History
Scietific Director
MPI-SWS (mpi-sws.org)
2009 – Present
Professor
Computer Science Department, University of California, Los Angeles (cs.ucla.edu)
2003 – 2009
Graduate Student
UC Berkeley, University of California Berkeley (cs.berkeley.edu)
1998 – 2003
Undergrad student
IIT Kanpur (iitk.ac.in)
1994 – 1998
Advisors, Relations & Conflicts
Expertise
Formal methods, Model checking, Temporal logic
1998 – Present