I'm a postgraduate student working on logic and the philosophy of mathematics at the University of Bristol. I occasionally write about logic, programming and related topics on Extralogical, where there is also some more informal stuff about me.
To get in touch, email me at benedict@eastaugh.net. I'm on GitHub and my Twitter handle is @extralogical if you're into that sort of thing.
My doctoral research is centred on developing philosophical responses to the programme in foundations of mathematics known as reverse mathematics.
In my Master's dissertation I defended strong reflection principles as new axioms of set theory which are intrinsically justified on the iterative conception of set, and derived limitations on ontological accounts of higher-typed collections.
Here are some things I'm currently working on or have recently finished. You can get a more comprehensive overview on my projects page.
Firmin is a JavaScript animation library that uses CSS transforms and transitions to create smooth, hardware-accelerated animations.
Udon is a library for practical functional programming with JavaScript. It ports various
elements of Haskell's Data.List library to JavaScript, as well as
providing facilities for currying and function composition.
Hatt is a command-line program which generates truth tables for expressions in classical propositional logic.