I’m a PhD candidate at Utah State University, where I work in formal methods: proving that a system does what it ought to do. I focus mainly on stochastic systems, especially Chemical Reaction Networks: the models biologists use for the chemistry inside a cell. In these inherently random systems, the state space blows up fast. I design and build tools that can still make claims about these systems when other options exhaust memory or patience.

If you want to get to know me, here are a few good places to start.