Chad Nester



I am interested broadly in category theory and its application, to the ultimate end of a more comprehensible world.

I am currently a PhD student at Tallinn University of Technology, supervised by Pawel Sobocinski.


  • A Variety Theorem for Relational Universal Algebra RAMICS 2021 (PDF, cite)
  • Situated Transition Systems ACT 2021 (to appear) (PDF, cite)
  • The Structure of Concurrent Process Histories COORDINATION 2021 (PDF, cite)
  • with Ivan Di Liberti, Fosco Loregian, and Pawel Sobocinski. Functorial Semantics for Partial Theories POPL 2021 (PDF, cite)
  • A Foundation for Ledger Structures Tokenomics 2020 (PDF, cite)
  • with James Chapman, Roman Kireev, and Philip Wadler. System F in Agda, For Fun and Profit MPC 2019 (PDF, cite)
  • with Roman Kireev, Micheal Peyton Jones, Philip Wadler, Vasilis Gkoumas, and Kenneth MacKenzie. Unravelling Recursion: Compiling an IR with Recursion to System F MPC 2019 (PDF, cite)
  • Turing Categories and Realizability MSc Thesis, University of Calgary (PDF, cite)

Some Talks

  • Concerning Situated Transition Systems. FMCS 2021, ACT 2021 (slides, video)
  • Concerning The Structure of Concurrent Process Histories. COORDINATION 2021 (slides, video)
  • Concerning Partial and Relational Algebraic Theories. POPL 2021, CACS 2021, CT 2021, RAMICS 2021 (slides, video)
  • Concerning String Diagrams for Cartesian Restriction Categories. SPLS June 2019, SYCO 5 + Strings 3, EWSCS 2020 (slides, video)
  • Concerning A Foundation for Ledger Structures. SYCO 3, Tokenomics 2020 (slides, video)
  • Concerining Turing Categories and Realizability. FMCS 2014, OPLSS 2014, FMCS 2016, CT 2016, Category Theory Octoberfest 2017 (slides)


  • In November 2019 I took up my current position as a PhD student in Tallinn.
  • In 2018 and 2019 I worked as a research assistant/associate at the University of Edinburgh, under Philip Wadler.
  • In 2017 I was briefly a PhD student at the University of Ottawa, supervised by Pieter Hofstra and Amy Felty.
  • In 2017 I completed an MSc in computer science at the University of Calgary, supervised by Robin Cockett.
  • In 2014 I completed a BSc in computer science with a minor in pure mathematics at the University of Calgary.

Author: Chad

Created: 2021-11-08 E 12:43