Personal details

Matt T. - Remote

Matt T.

Timezone: London (UTC+1)

Summary

👋 Hi I'm Matt.

I love programming, in particular functional programming.

I've been a professional software developer since 2011. I started my career as a research scientist at BAE Systems before moving fully into a software development position.

I spent 6 years working for Winton, a London based hedge fund, 4 of which were as a team lead.

Currently I'm the co-founder of a startup called Symbolica that is attempting to make it easier for developers to find bugs in their code by utilising a concept called Symbolic execution.

I've predominantly worked with C# and TypeScript in my career and have a lot of experience with ASP.NET and React. More recently I've switched to F# as my primary language. I've deployed several production systems to Azure.

I also lead the team that built Winton's Climate Prediction Market platform.

Work Experience

Co-Founder
Symbolica | Apr 2021 - Present
C#
C++
C
Git
Azure
GitHub
F#
LLVM
Docker
Currently building a symbolic execution service that makes it easier for developers to find bugs in their code by automatically running it for all possible inputs.
Software Engineer
Winton | Nov 2014 - Dec 2020
C#
SQL
Git
Angular
Azure
NoSQL
TypeScript
React
JavaScript
ASP.NET
I worked in various teams including Front Office and the data team. I was also the lead of a software development team within Business Technology where we were responsible for the entire software development lifecycle of several new software systems that enabled business operations.

Personal Projects

Climate Prediction MarketIconOpenNewWindows
2018
C#
Angular
Azure
I lead a team of 4 engineers at Winton that built the public beta version of a climate prediction market. The platform was designed to let climate experts place bets on climate experts to harness the wisdom of the crowds. We effectively built a one-sided market place, which meant we had to deal with issues like the double spending problem. We also had to design it to deal with high-throughput as many participants built their own bot traders that worked directly against our API. Achieving this required us to focus acutely on the domain model and embrace eventual consistency to avoid the need for distributed transactions.
Winton.Extensions.Configuration.ConulIconOpenNewWindows
2016
C#
Consul