Siddharth Bhat

PhD student, Computer, Unversity of Cambridge

  • Joined May 2024

Names

Siddharth Bhat (Preferred)
,
Siddharth Bhat Mala

Emails

****@cl.cam.ac.uk (Confirmed)
,
****@ed.ac.uk
,
****@gmail.com
,
****@iiit.ac.uk

Career & Education History

PhD student
Computer , Unversity of Cambridge (cl.cam.ac.uk)
20232027
 
PhD student
ICSA, University of Edinburgh, University of Edinburgh (ed.ac.uk)
20222023
 
MS student
CSTAR, International Institute of Information Technology Hyderabad, Dhirubhai Ambani Institute Of Information and Communication Technology (iiit.ac.in)
20162021
 

Advisors, Relations & Conflicts

PhD Advisor
Tobias Grosser
20162027
 
Coauthor
20232024
 
Coauthor
20232024
 
Coauthor
20232024
 
Coauthor
20232024
 
Coauthor
20232024
 
Coauthor
20232024
 
Coauthor
20162017
 
Coauthor
20162017
 

Expertise

Proof Assistants
20212024
 
Automated Reasoning
20212024
 
Neural Theorem Proving
20212024
 
Representation Learning
20152024
 
Optimizing Compilers
20152022