News 2005

Krishna Gummadi joins MPI-SWS faculty

July 2005
Krishna Gummadi, Ph.D., accepts a position on the faculty of the MPI for Software Systems as an independent researcher. This position is comparable to a tenure-track Assitant Professor position at a U.S. University.

Krishna hold a B.Tech. degree from IIT Madras, and the M.S. and Ph.D. degrees from the University of Washington in Seattle, all in Computer Science and Engineering. Krishna has gained international recognition for his research on networked systems, as the recipient of three best paper awards at leading conferences in his area and as the main author of the most cited computer science articles in 2003 and 2004, respectively, according to citeseer. He will join the MPI for Software Systems in October 2005.

Ashutosh Gupta and Andrey Rybalchenko win ETAPS best paper award

July 2005
MPI-SWS PhD student Ashutosh Gupta and and faculty Andrey Rybalchenko, along with Rupak Majumdar (UCLA), have received the EAPLS best paper award for their TACAS'09 paper "From Tests to Proofs."

The EAPLS award goes to the best contribution in the area of programming languages among CC, ESOP, and TACAS—three member conferences of ETAPS, the European Joint Conferences on Theory and Practice of Software.


The award-winning paper describes the design and implementation of an automatic invariant generator that can be used in the verification of imperative programs. The authors' new approach makes constraint solving—and hence invariant generation—more scalable by adding information obtained from static abstract interpretation as well as dynamic execution of the program.

ETAPS, established in 1998, is a confederation of five annual conferences, accompanied by satellite workshops and other events. It is a primary forum for academic and industrial researchers working on topics relating to Software Science. Previous EAPLS best paper award winners are listed at http://www.eapls.org/pages/topic_05_awards/.

MPI-SWS and MPI-INF form joint administration

April 2005
The MPIs for Software Systems in Kaiserslautern and Saarbruecken and the MPI for Informatics in Saarbruecken agree to form a joint administrative unit, headed by Volker Geiss with staff in both the Kasierslautern and the Saarbruecken locations. Volker currently heads the administrative unit of the MPI for Informatics.

Peter Druschel becomes MPI-SWS founding director March 2005

March 2005
Prof. Peter Druschel, Ph.D., accepts the position of Founding Director of the MPI for Software Systems. Peter comes from Rice University in Houston, TX, where he has spent eleven years as Assistant Professor (1994-2000), Associate Professor (2000-2002) and Full Professor (2002-) of Computer Science. Peter also spent time teaching and researching at the University of Paris VI, at Microsoft Research in Cambridge, UK, and at the Massachussets Institute of Technology (MIT) in Boston. He holds a Dipl.-Ing. (FH) degree in Electrical Engineering from Fachhochschule Munich, and the M.S. and Ph.D. degrees in Computer Science from the University of Arizona. Peter conducts research in experimental distributed systems, with a focus on self-organizing, decentralized and autonomous systems. He is the recipient of a National Science Foundation CAREER Award and an Alfred P. Sloan Fellowship.

Krishna Gummadi joins MPI-SWS faculty

July 2005
Krishna Gummadi, Ph.D., accepts a position on the faculty of the MPI for Software Systems as an independent researcher. This position is comparable to a tenure-track Assitant Professor position at a U.S. University.

Krishna hold a B.Tech. degree from IIT Madras, and the M.S. and Ph.D. degrees from the University of Washington in Seattle, all in Computer Science and Engineering. Krishna has gained international recognition for his research on networked systems, as the recipient of three best paper awards at leading conferences in his area and as the main author of the most cited computer science articles in 2003 and 2004, respectively, according to citeseer. He will join the MPI for Software Systems in October 2005.

MPI-SWS and MPI-INF form joint administration

April 2005
The MPIs for Software Systems in Kaiserslautern and Saarbruecken and the MPI for Informatics in Saarbruecken agree to form a joint administrative unit, headed by Volker Geiss, with staff in both the Kasierslautern and the Saarbruecken locations. Volker currently heads the administrative unit of the MPI for Informatics.

Peter Druschel becomes MPI-SWS founding director

March 2005
Prof. Peter Druschel, Ph.D., accepts the position of Founding Director of the MPI for Software Systems. Peter comes from Rice University in Houston, TX, where he has spent eleven years as Assistant Professor (1994-2000), Associate Professor (2000-2002) and Full Professor (2002-) of Computer Science. Peter also spent time teaching and researching at the University of Paris VI, at Microsoft Research in Cambridge, UK, and at the Massachussets Institute of Technology (MIT) in Boston. He holds a Dipl.-Ing. (FH) degree in Electrical Engineering from Fachhochschule Munich, and the M.S. and Ph.D. degrees in Computer Science from the University of Arizona. Peter conducts research in experimental distributed systems, with a focus on self-organizing, decentralized and autonomous systems. He is the recipient of a National Science Foundation CAREER Award and an Alfred P. Sloan Fellowship.