Rupak Majumdar

Max Planck Institute for Software Systems; International Computer Science Institute
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12May 14, 2021

Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems in Germany. His research interests are in the verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory. He received the B.Tech. degree in Computer Science from the Indian Institute of Technology at Kanpur and the Ph.D. degree in Computer Science from the University of California at Berkeley.

Program Visits