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

    UC Berkeley


Starting August 2021, I will be a full-time instructor at Proof School.

Courses taught as a full instructor:

Courses taught as a teaching assistant:

  • ECS 220 (Graduate Theory of Computation): Spring 2020 and Spring 2021
  • ECS 289A (Molecular Computation): Winter 2021
  • Math 21D (Vector Calculus): Winter 2019
  • Math 135B (Stochastic Processes): Spring 2018
  • Math 21B (Integral Calculus): Winter 2018
  • Math 21A (Differential Calculus): Fall 2017
  • Math 135A (Probability): Fall 2017
  • Math 108 (Intro to Abstact Math): Winter and Spring 2017
  • Math 17C (Calculus for Biology): Fall 2016