Hi, I am Michael Sammler.
When I am not skiing or traveling the world, I am a PhD Student with Deepak Garg and Derek Dreyer at the Max Planck Institute for Software Systems and Saarland Informatics Campus.
My interests lie in implementing efficient and practical systems and formally proving properties about them. In particular, my research focuses on building formal verification tools for low-level systems code that combine foundational proofs in a proof assistant with a high degree of automation. My main projects in this area are RefinedC, which uses a refinement and ownership type system to verify C code, Islaris, which shows how to scale verification of assembly code to realistic models of real-world architectures, and DimSum, which provides a decentralized approach for reasoning about multi-language programs.
My publications can be either found below or at dblp. Contact details are here.
I will be joining ISTA as an assistant professor and I am looking for motivated PhD students, postdocs, and interns. If you are interested, please send me an email.