About Me

I'm a developer, photographer and musician.

My primary interests are in developer tools, compilers, artificial general intelligence, operating systems and other areas.

What I Do

I just finished my BSc (Hons) Computer Science degree at the University of Bath. My dissertation was on the implementation of a strongly-typed shell scripting language called marsh, which includes an effect system through its basis in the functional machine calculus.

I have experience with Rust, Nix, Swift and C#, and have worked as a Rust, iOS, macOS and ASP.NET backend developer. I'm also familiar (to varying degrees) with Objective-C, Java, Haskell, and other languages.