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