cv

PhD

• My thesis focused on the intersection of ML and formalisation ‑ I investigated a method of property‑based NN training, differentiable logics, by applying a more rigorous approach and theoremprovers (Rocq and MathComp)
• I have workedon the development of this training method ina Haskell‑based NN verification tool ‑ Vehicle.

BsC (Hons) in Mathematics and Computer Science

• Finished with First Class Honours.
• Topic.
  • My thesis focused on mathematical properties of neural networks, investigating the influence of complexity of data on the behaviour of the learnt NN representation.

Research Associate (CRADLE)

Research Asisstant

• Worked as part of a project AISEC (AI Secure and Explainable by Construction).
• My work was closely tied with my PhD and focused on providing a formalisation of Differentiable Logics, a neural network training method being implemented in the verification tool Vehicle (which has been developed as part of the AISEC project).

Teaching Assistant

• Delivered labs in multiple subjects ranging from ML, through programming languages to academic writing - Data Mining and Machine Learning, Advanced Software Engineering, Software Development, and Research Methods and Project Planning.
• Assessed students' coursework and lab projects, advised on Master's projects.

Research Associate

• Worked as a part-time RA on a research project ``Neural Network Verification; in search of the missing spec''
• The goal of this project was to address the current under-defined semantics of neural networks. My responsibilities focused around identifying methods from other research areas that could be applied for the purposes of neural networks.

Intern in Technology R&D

• Worked on tool development in the Research and Development Technology team and improved the tool's performance by using neural networks to meet industry standards
• Contributed towards implementing modern machine learning solutions in new internal tools

Publicity Chair of ITP'26

• In charge of communication with conference attendees and PC members, as well as maintaining the conference website

Program Committee Member for Rocqshop

• Reviewed submissions for the workshop (previously known as Coq Workshop)

Co-organiser of Quantitative Logic Reading Group

• Co-organised a series of reading group seminars related to quantitative logic, held in a blended format
• Was in charge of leading the discussions and organisational matters

Member and Volounteer | LAIV (Lab for AI and Verification)

• Gained expertise in AI verification, especially related to neural networks. Had an opportunity to present and discuss my work with other experts in my field
• Provided help with organisation of a seminar series by taking over the seminar schedule and notifications, as well as management of the seminar-wide mailing list

Volounteer | Theorem Proving and Machine Learning in the age of LLMs; SoA and Future Perspectives

• Coordinated the online stream of the workshop as well as handled the technical setup and testing

Volounteer | Workshop on Safe and Robust Machine Learning

• Helped with organisation of the local venue and technical setup

Volounteer | Scottish Programming Languages and Verification Summer School

• Handled the technical setup of the lectures, especially the coordination of the live stream delivered in a blended format