Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Rupak Majumdar

Registered user since Thu 2 Apr 2015

Name:Rupak Majumdar
Bio:

Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems. 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. Dr. Majumdar received 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, a Distinguished Alumnus Award from IIT Kanpur, “Most Influential Paper” awards from PLDI and POPL, and several best paper awards. 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

Affiliation:MPI-SWS

Contributions

POPL 2021 Committee Member in Program Committee within the POPL-track
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
CPP 2021 Lassie: HOL4 Tactics by Example
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
PLMW 2021 Invited Speaker in Invited Speakers within the PLMW 2021-track
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
Show activities from other conferences

POPL 2021-profile
View general profile