![Siddharth Bhat](https://popl24.sigplan.org/getProfileImage/siddharthbhat2/9f34e26e-de35-4c2e-9196-386fe6979a77/small.jpg?1711624752000)
Registered user since Wed 8 Nov 2023
Name:Siddharth Bhat
Country:United Kingdom
Affiliation:the University of Edinburgh
Personal website: https://pixel-druid.com/
GitHub: https://github.com/bollu
Research interests:Compilers, Proof Assistants, Functional Programming
Contributions
2024
POPL 2024-profile
View general profile
View general profile