Full Name
Léo Stefanesco
Company/Affiliation
University of Cambridge
Speaker Bio
Léo Stefanesco is a postdoc at the University of Cambridge, with Tobias Grosser. He conducts research on verified programming and compilation using the Lean prover.
