MPI-SWS Ph.D. student Aastha Mehta was selected to attend the 4th annual Heidelberg Laureate Forum in September 2016. An international committee of experts selected Aastha for one of only 200 spots reserved for young computer scientists and mathematicians from around the world. In addition to participating in the forum, she…
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!
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!
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.
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…
