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'm a software engineer on the Replication team at Ditto. I recently
graduated with a first class BSc in Computer Science 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.