Siddharth Bhat

Registered user since Wed 8 Nov 2023

Name:Siddharth Bhat
Country:United Kingdom
Affiliation:the University of Edinburgh
Personal website: https://pixel-druid.com/
Research interests:Compilers, Proof Assistants, Functional Programming

Contributions