We’re proud to announce that our Principal Investigator Rupak Majumdar has received an ERC Advanced Grant titled “Formal Performance Analysis at Scale”.

Rupak Majumdar is an expert in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory. In CPEC project A12, jointly with PIs Christel Baier and Joël Ouaknine, he works on providing a solid foundational base for a perspicuity-aware analysis of dynamical systems, hybrid automata, and probabilistic models. In project C1, he works on providing programming abstractions enabling perspicuity at the implementation level for CPS applications acting on the physical world.