C6eunjdw4jmwqtivtqez

Robin Neatherway

Robin Neatherway is a researcher at Oxford University, working on the verification of functional programs.

He implements all his analyses in F# and is also a keen contributor to the open-source ecosystem around F#, including maintaining the Emacs intellisense support.

Talks I've Given