I am experienced in programming languages Haskell, Python, C++, C#, Java and web technologies (Javascript, CSS, HTML).

I am involved in the development of open source software.

• I am the main developer of Conjure, the automated constraint modelling tool.
• I contribute to the development of Savile Row – more often indirectly by making Peter Nightingale do a lot of (very cool!) work.
• I am a contributor to the awesome dependently typed programming language Idris.
• I am one of the editors-in-chief of CSPLib.
• I am the developer of and a contributor to DLRep.