Full Name
Siddharth Bhat
Pronoun/s
They/Them/Theirs, He/Him/His
Job Title
PhD
Company/Affiliation
University of Edinburgh
Speaker Bio
Siddharth is pursuing a PhD at the University of Edinburgh, where he researches proof assistants (lean 4) and optimizing compilers for functional programming languages. In a past life, he worked on Polly, LLVM's polyhedral loop optimizer, the Great Glasgow Haskell compiler, and others.
Speaking At
Linkedin
![Siddharth Bhat](https://assets.swoogo.com/uploads/full/2875468-64f8d85234b5f.jpg)