About me
I am a PhD student in the Department of Computer Science and Technology at the University of Cambridge.
I study deductive reasoning through the lens of formal logic, currently focusing on effective automation of theorem proving using pattern recognition (machine learning).
Email: fr409 (at) cam.ac.uk
Interests
- Logic and Proof Theory
- Artificial Intelligence
- Machine Learning
- Formal Methods
Education
-
PhD in Computer Science, 2025
University of Cambridge
-
MSc and BSc in Computer Science, 2021
University of Oslo