Hi, I am Michael Sammler.
When I am not skiing or traveling the world, I am a PhD
Garg and Derek
Dreyer at the Max Planck
Institute or Software Systems
My interests lie in implementing efficient and practical
systems and formally proving properties about them. My
tool of choice for the first task
is Rust and for
the second Iris.
My publications can be either found below or
Contact details are here.