Andrea Lattuada joins MPI-SWS faculty
Andrea Lattuada will join MPI-SWS as a Research Group Leader. His research focuses on pragmatic systems software verification, i.e., verification that is practical and usable by engineers and applicable to complex systems software.