Christian Williams [williams at math dot ucr dot edu]
PhD Mathematics, University of California Riverside

Hello. I work with John Baez and the Applied Category Theory team at UC Riverside. In the Winter 2019 quarter, we will host a seminar about ways that mathematics can help the world.

Work : RChain, Statebox, Enriched Lawvere Theories for Operational Semantics