Short Bio:
Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems in Kaiserslautern, 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 President’s Gold Medal from IIT Kanpur, a Sloan Foundation Fellowship, an ERC Synergy award, a Distinguished Alumnus Award from IIT Kanpur, and « Most Influential Paper » awards from PLDI, POPL, and CONCUR. He is one of the primary developers of the TraceForge model checker and the Leslie prover.