Chad Nester



I reject our inherited suicide pact with climate change.

We must learn to live in harmony with the world.

I do not eat animals. Vegan recipies will appear here soon.


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.


  • Ivan Di Liberti, Fosco Loregian, Chad Nester, Pawel Sobocinski. Functorial Semantics for Partial Theories Accepted for publication at POPL 2021, to appear (PDF available soon)
  • Chad Nester. A Foundation for Ledger Structures Accepted for publication at Tokenomics 2020, to appear (PDF)
  • James Chapman, Roman Kireev, Chad Nester, Philip Wadler. System F in Agda, For Fun and Profit MPC 2019 (PDF)
  • Roman Kireev, Chad Nester, Micheal Peyton Jones, Philip Wadler, Vasilis Gkoumas, Kenneth MacKenzie. Unravelling Recursion: Compiling an IR with Recursion to System F MPC 2019 (PDF)
  • Chad Nester. Turing Categories and Realizability MSc Thesis, University of Calgary (PDF)


  • 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: 2020-10-16 R 15:17