Søren Mortensen

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'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.