Full Name
Alex Keizer
Company/Affiliation
University of Cambridge
Speaker Bio
PhD student at University of Cambridge, working on formal verification and conductive types.
Speaking At
