🎓 PhD Computer Science - The University of Manchester 💜

Researching the intersection of machine learning 🤖 and automated reasoning 🧠.

Developer of:

• HOS-ML: heterogeneous instance optimisation and effective heuristic SCPeduling.
• Axiom Captioning: Premise selection with language models via transfer learning on graph neural networks.

I am currently open to new projects in machine learning and data science, and I am open to connecting on LinkedIn .

• Supervised Learning
• Language Models
• Clustering
• Graph Neural Networks
• Data Analysis
• Performance Optimisation

• Python 🐍
• Tensorflow
• Torch
• scikit-learn
• Jupyter 📔
• Linux 🐧