Eric Severson is a PhD candidate in Applied Mathematics at UC Davis, working with professor David Doty. His research is at the intersection of distributed computing and molecular computing, focusing on the related models of population protocols and chemical reaction networks. These models describe a population of simple computational agents (ie. molecules) that have random pairwise interactions (ie. chemical reactions) and try to compute properties of the global configuration through these purely local interactions. Proving results in these models uses tools from theory of computation and stochastic processes.
BS in Applied Mathematics, 2016
Starting August 2021, I will be a full-time instructor at Proof School.