Educated as a computer scientist and mathematician. Specialised in functional programming. Working as a scala software engineer, in the fields of data engineering (spark) and backend development (akka, typelevel).

I have also worked academically in the fields of denotational semantics of functional programming languages, machine learning and artificial intelligence, and have an interest in semi-formal and formal program development, specification and verification.

Fond of dependently typed programming, interactive proof-assistants, deductive program verification, algebraic specification, temporal logic based specification, and full system modelling.