You can find me online in a few places:

- Email me at dylanbraithwaite1@gmail.com or dylan.braithwaite@strath.ac.uk
- dylanbraithwaite on Github
- @dylanbraith on Twitter
- @dylan@mathstodon.xyz on Mastodon

# Curriculum Vitae

## 2021 – (University of Strathclyde)

From 2021 I have been a PhD student in the University of Strathclyde’s Mathematically Structured Programming group. I’m studying ways to simplify the design of complex systems and statistical programming using ideas from mathematics and mathematical logic. In particular I’m interested in using category theory to describe compositional aspects of Bayesian inference and inform the design of domain specific languages.

My primary supervisor is Jules Hedges.

While at Strathclyde I have also had experience as a teaching assistant and marker for various undergraduate and masters courses in the Computer and Information Sciences department:

- Machines, Languages & Computation (Spring 2023)
- Theory of Computation (Spring 2023)
- Functional Thinking (Spring 2022, Spring 2023)
- Computer Systems and Organisation (Autumn 2022)
- Quantitative Methods (Autumn 2022)
- Big Data Technologies (Autumn 2022)
- Programming in Java (Autumn 2022)

The summary of my other academic work is

- Dependent Bayesian Lenses, presented at Ninth Symposium on Compositional Structures 2022
- Spoke at the MSP’s internal seminar, presenting an introduction to finite model theory, 2021
- Fibre optics, joint author, 2021

## 2019 – 2021 (Software Engineer, StarLeaf)

For two years I worked as a software developer at StarLeaf Limited, working on a video conferencing application.

- I was the primary developer for the macOS client, implemented in AppKit with Swift and Objective-C,
- Worked on backend components for the app, implemented primarily in C and C++,
- Modernised our macOS build system to allow native building on ARM-based Macs
- Helped development of an integration testing framework for the app implemented in C++ and Typescript
- Mentored recent graduates attending a summer camp teaching programming in C

## 2016-2019 (University of Cambridge)

I completed an undergraduate degree in Computer Science (with 50% Mathematics at Part Ia) at the University of Cambridge. My Part II dissertation was written about formalising properties of routing algorithms in Agda.