Rupak Majumdar joins the institute's faculty as a scientific director, effective June, 2010. Rupak's research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.

Rupak's research spans the spectrum of formal verification techniques, ranging from theoretical foundations of logic and automata theory to practical software engineering tools that systematically analyze thousands of lines of code for programmer errors. In the field of software model checking, Rupak has made major contributions. Rupak, along with Ranjit Jhala, wrote the the model checker Blast, which is able to analyze over 100,000 lines of code for complex temporal properties. This achievement was a major milestone and proof of feasibility in the field of software verification and led to a flurry of academic and industrial activity in the area.

Rupak joins MPI-SWS from the University of California, Los Angeles, where he was on the faculty of the computer science department. Prior to that, Rupak received his Ph.D. degree in Computer Science from the University of California at Berkeley, and his B.Tech. degree in Computer Science from the Indian Institute of Technology at Kanpur.

The Max Planck Institute for Software Systems conducts high-risk, high-impact research in all areas related to the design, analysis, modeling, implementation and evaluation of complex software systems.

It is one of eighty institutes run by the Max Planck Society, which is world-renowned for its basic research in medicine, biology, chemistry, physics, technology and the humanities.
 

Source: Max- Planck Institute for Software Systems