Person. Chad Nester [chadnester]

Research Fellow
University of Tartu
https://kodu.ut.ee/~nester/

Contributions

Reference. Monoidal categories graded by partial commutative monoids [earnshaw-nester-roman-2026-monoidal-categories-graded]

2026
Matt Earnshaw, Chad Nester, Mario Román
MFPS 2026
https://arxiv.org/abs/2603.16375

Reference. Resourceful traces for commuting processes [earnshaw-nester-roman-2025-resourceful-traces]

2026
Matt Earnshaw, Chad Nester, Mario Román
CSL 2026
PDF

Reference. Polar interleavings for deadlock-free message-passing [earnshaw-nester-roman-2023-polar-interleavings]

2023
Matt Earnshaw, Chad Nester, Mario Román
PDF

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Nester, Chad and Rom\'{a}n, Mario},
  title =	{{Polar Interleavings for Deadlock-Free Message-Passing}},
  year =	{2023},
  annote =    {Extended Abstract}
}

Reference. presentations of premonoidal categories by devices [earnshaw-nester-roman-2023-presentations-of-premonoidals]

2023
Matt Earnshaw, Chad Nester, Mario Román
PDF

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Nester, Chad and Rom\'{a}n, Mario},
  title =	{{Presentations of Premonoidal Categories by Devices}},
  year =	{2023},
  annote =    {Extended Abstract}
}