07/31/16
Neel Krishnaswami, a former postdoc in Derek Dreyer's group at MPI-SWS, will be joining the University of Cambridge Computer Laboratory as a University Lecturer. Congratulations, Neel!
07/20/16
Pramod Bhatotia, who completed his doctoral studies at MPI-SWS, will be joining the University of Edinburgh as a Senior Lecturer of computer science. Congratulations, Pramod!
07/08/16
Felipe Cerqueira, Felix Stutz, and Björn Brandenburg have received the best paper award at ECRTS 2016, for their paper "Prosa: A Case for Readable Mechanized Schedulability Analysis." Read more about Prosa.
03/01/15
MPI-SWS postdoctoral fellow Sadegh Soudjani has been awarded the DISC Best PhD-Thesis Award for the best PhD thesis defended in 2014 in the Netherlands in the area of systems and control. Dr. Soudjani received the award for the excellent quality of his PhD Thesis "Formal Abstraction for Automated Verification and…
02/01/15
MPI-SWS postdoctoral fellow Rijurekha won the 2014 Best Doctoral Dissertation Award by ACM-India for her thesis titled "Different Sensing Modalities for Traffic Monitoring in Developing Regions" Dr. Sen recently joined the MPI-SWS Distributed Systems and Social Computing research groups.
2930313233»