๐ 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 ๐ง