| Advisor | John Baez |
| Focus | Concurrency (\(\pi)\) and
Reflection (\(\rho\)) Algebraic Type Theory and Categorical Logic |
| Work | [Sep 2019]
Enriched Lawvere Theories for Operational Semantics [Jan 2021] Native Type Theory |
| Posts | RChain . Statebox . Summer 2019 |
| Talks | [June 2020] Structural types for algebraic theories [video] [slides] |
| Studies | Categorical Logic and Type Theory |