I'm a post-doctoral computer scientist at the University of Bologna, Italy, working on a verified compiler for a large subset of the C programming language. Prior to this, I was a PhD student at Heriot-Watt University in Edinburgh, Scotland, working on nominal techniques, context calculi and proof terms for incomplete derivations.
My homepage is here. I also run a blog on name binding (nominal techniques, higher-order abstract syntax, de Bruijn indices etc.) and that can be found here.
I'm originally from Wigan, Greater Manchester, England.
I'm a post-doctoral computer scientist at the University of Bologna, Italy, working on a verified compiler for a large subset of the C programming language. Prior to this, I was a PhD student at Heriot-Watt University in Edinburgh, Scotland, working on nominal techniques, context calculi and proof terms for incomplete derivations.
My homepage is here. I also run a blog on name binding (nominal techniques, higher-order abstract syntax, de Bruijn indices etc.) and that can be found here.
I'm originally from Wigan, Greater Manchester, England.