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
