Full Name
Siddharth Bhat
Pronoun/s
He/Him or They/Them
Job Title
PhD
Company/Affiliation
University of Cambridge
Speaker Bio
Siddharth Bhat is a PhD student at the University of Cambridge who works on algorithms and decision procedures. He formally verifies these algorithms in the Lean proof assistant, and builds such tooling with an eye toward SAT and SMT-style problems that are profitable for compilers.
Speaking At
