James Haydon đź‘‹
I am a Research Project Technical Specialist in Prof. Ichiro Hasuo's ERATO Metamathematics for Systems Design Project at the National Institute of Informatics NII in Tokyo.
I've also worked quite a lot in industry, mostly using Haskell.
Before that, I was a PhD student at University of Oxford, under the supervision of Prof. Minhyong Kim.
I created the Lawvere programming language.
Email: jhaydon[at]nii.ac.jp