I am a Teaching Scholar and PhD student in the Department of Computing at Imperial College London. I am fortunate to be a member of the SPIKE (Structured Probabilistic Information and Knowledge Engineering) group at Imperial. I am in the 2nd year of my PhD supervised by Dr Dalal Alrajeh and Professor Alessandra Russo. My research interests include machine learning and formal methods, in particular, the successful combination of both paradigms. My research is currently on applying empirically proven neural networks for practical scale up of formal methods.
Research
Member of the SPIKE Research Group - Imperial College London.
Qualifications
Doctoral Teaching Programme in Computing (PhD) - Imperial College London - 2022-2026
MSc Scientific Computing and Data Analysis - Durham University - Distinction - 2021-2022
BSc in Mathematics and Physics within the Natural Sciences programme - Durham University - First Class (Hons) - 2018-2021
Supervision
2023/2024 - MEng Project - Neuro-symbolic learning of explainable common-sense knowledge using LLM
Teaching
2023-2024
Module Leader and Lecturer: Symbolic Reasoning [COMP50009]
