I currently work in London designing and building retail platforms for large scale e-commerce. I'm interesting in distributed computing, formal languages, language and compiler design and FP in general.