Master's thesis: "Type-safe Web Programming Using Routed Multiparty Session Types in TypeScript" (95%).
- The Aspect Capital Project Prize, Jul 2020 - outstanding undergraduate final year project
- Faculty of Engineering Dean's List, Jul 2020 - top 10% of cohort
- Gloucester Research Limited Prize, Jul 2019 - academic excellence (top 3)
- Faculty of Engineering Dean's List, Jul 2019 - top 10% of cohort
- Gloucester Research Limited Prize, Jul 2018 - academic excellence (top 3)
- Faculty of Engineering Dean's List, Jul 2018 - top 10% of cohort
- Faculty of Engineering Dean's List, Jul 2017 - top 10% of cohort
- Computing Entrance Scholarship, Oct 2016
Courses
- Year 4 - 88%
- Concurrent Processes
- Advanced Issues in Object-Oriented Programming
- Separation Logic
- Mathematics for Machine Learning
- Machine Learning for Imaging
- Natural Language Processing
- Software Engineering in Industry
- Year 3 - 86%
- Type Systems
- Logic-Based Learning
- Introduction to Machine Learning
- Computer Vision
- Graphics
- Distributed Algorithms
- Information Coding Theory
- Year 2 - 86%
- Algorithms
- Software Engineering Design
- Operating Systems
- Compilers
- Computational Techniques
- Networks and Communications
- Models of Computation
- Probability and Statistics
- Year 1 - 80%
- Discrete Mathematics
- Reasoning about Programs
- Logic
- Programming (Haskell, Java, C)
- Hardware
- Architecture
- Mathematical Methods
- Databases