Nicholas Cowle

Professional F# developer by day, amateur type theorist by night, Nick enjoys drawing ideas from the world of functional programming to create robust and safe software for the finance industry.

In his spare time you can find him dabbling in Idris and saying 'correct by construction' far too much.

Talks I've Given