Prof. Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems, Germany. He holds adjunct professor positions at the University of California, Los Angeles and the University of Kaiserslautern. 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.
In his illustrious academic career, Prof. Majumdar received many prestigious awards and honors, such as the President's Gold Medal from IIT, Kanpur, the Leon O. Chua award from UC Berkeley, an NSF CAREER award, a Sloan Foundation Fellowship, an ERC Synergy award on "Privacy, Accountability, Compliance, and Trust in Tomorrow's Internet," "Most Influential Paper" awards from PLDI and POPL, and several best paper awards (including from SIGBED, EAPLS, and SIGDA). He holds a PhD degree in Computer Science from the University of California at Berkeley. IITK conferred upon Prof. Rupak Mazumdar the Distinguished Alumnus Award, 2020.
