Full Name
Alex Keizer
Pronoun/s
He/Him/His
Company/Affiliation
University of Cambridge
Speaker Bio
PhD student at University of Cambridge, working on formal verification and conductive types.
Speaking At
Linkedin
GitHub URL
