Dr. Rupak Majumdar | World-leading computer and AI scientists arrive in Sofia for the first INSAIT conference | September 30

Research Area: Verification

Dr. Rupak Majumdar’s research interests focus on computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory.

He received a bachelor’s tech degree from the Indian Institute of Technology, Kanpur (1998) and a Ph.D. in Computer Science from the University of California, Berkeley (2003) under the direction of Thomas Henzinger. Assistant (since 2003) then Associate (since 2008) and Full Professor (since 2010) of Computer Science at the University of California in Los Angeles. Director and Scientific Member of the Max Planck Institute for Software Systems (since 2010). Dr. Majumdar has won several awards and recognitions for his work, such as an NSF CAREER Award – 2006 and Sloan Research Fellowship – 2010.