Research Fellow

I am a postdoc in the Mathematically Structured Programming Group at the University of Strathclyde, working with Neil Ghani.

Before that, I was a postdoc in the Theory Group at the University of Birmingham, working with Dan Ghica. Before that, I did a PhD at Swansea University under the supervision of Anton Setzer.

I have a CV.










Selected talks

Slide from STP The encode-decode method in HoTT, relationally.
Scottish Theorem Proving Seminar, October 2015, Dundee.
Slide from Realisability seminar My Summer in Munich: Extracting Haskell Programs.
Realizability Seminar, February 2013, Swansea.
Slide from LMU 2012 Internalising inductive-inductive definitions in Martin-Löf Type Theory.
TCS Oberseminar, November 2012, LMU Institut für Informatik, Munich, Germany.
Slide from BCTCS 2011 Elimination principles for initial dialgebras.
TYPES 2011, Bergen, Norway.
Slide from BCTCS 2011 A categorical semantics for inductive-inductive definitions.
CALCO 2011, Winchester, UK.
Title slide TYPES 2010 Interpreting inductive-inductive definitions as indexed inductive definitions.
TYPES 2010, Warsaw, Poland.
Slide from PECP 2010 Formalising inductive-inductive definitions.
Invited participant, Program Extraction and Constructive Proofs 2010, Brno, Czech Republic.
Slide from BCRCS 2010 Inductive-inductive definitions.
BCTCS 2010, Edinburgh, UK.
[Abstract] [Slides]

PC membership

Last modified: Thu Jan 5 14:46:02 GMT 2017.