I am interested in Martin Löf’s type theory, dependent types, intuitionistic mathematics in general, category theory, and functional programming. I am particularly interested in the semantics of type theory in type theory, and the mathematical structures arising in programming languages and logics.

Current/Recent Events

  1. Workshop on Trusted Smart Contracts (WTSC) 2019 (member of programme committee)
  2. PlutusFest 2018 (speaker)
  3. SPLS 2016 (co-organizer)
  4. TyDe 2016 (co-chair of programme committee)
  5. Agda Intensive Meeting XXII (co-organizer)
  6. TLCA 2015 (member of programme committee)
  7. APLAS 2014 (member of programme committee)


Dr. James Chapman
mail (at) jmchapman (dot) io