Siddharth Bhat (Preferred)
Siddharth Bhat Mala
Siddharth Bhat
PhD student, Computer, Unversity of Cambridge
Joined
May 2024
Names
,
Emails
****@cl.cam.ac.uk (Confirmed)
****@ed.ac.uk
****@gmail.com
****@iiit.ac.uk
Personal Links
Career & Education History
PhD student
Computer , Unversity of Cambridge (cl.cam.ac.uk)
2023 – 2027
PhD student
ICSA, University of Edinburgh, University of Edinburgh (ed.ac.uk)
2022 – 2023
MS student
CSTAR, International Institute of Information Technology Hyderabad, Dhirubhai Ambani Institute Of Information and Communication Technology (iiit.ac.in)
2016 – 2021
Advisors, Relations & Conflicts
PhD Advisor
Tobias Grosser
2016 – 2027
Expertise
Proof Assistants
2021 – 2024
Automated Reasoning
2021 – 2024
Neural Theorem Proving
2021 – 2024
Representation Learning
2015 – 2024
Optimizing Compilers
2015 – 2022