Full Name
Mathieu Fehr
Job Title
PhD student
The University of Edinburgh
Speaker Bio
Mathieu Fehr is a PhD student advised by Tobias Grosser at the University of Edinburgh, and currently visiting the University of Cambridge. He is focusing his PhD on making compilers more accessible, declarative, and easier to reason with formally.
GitHub URL
Mathieu Fehr