Full Name
Mathieu Fehr
Pronoun/s
He/Him/His
Job Title
PhD student
Company/Affiliation
The University of Edinburgh
Speaker Bio
Mathieu Fehr is a PhD student at the University of Edinburgh advised by Tobias Grosser. He is currently focusing his PhD on making compilers more accessible, declarative, and easier to reason with formally.
Speaking At
GitHub URL