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 or Software Systems and Saarland Informatics Campus.
My interests lie in implementing efficient and practical systems and formally proving properties about them. For this, I am currently developing RefinedC. RefinedC combines automated verification (via a refinement and ownership type system) of C code with foundational guarantees (based on the Iris framework).
My publications can be either found below or at dblp. Contact details are here.