I’m a PhD student at Utah State University, specializing in formal methods with a focus on the provable correctness of stochastic systems. Biochemical systems are of particular interest to me. My research is driven by the challenge of extending traditional verification techniques into the probabilistic domain: I build bridges that provide correctness guarantees in complex, noisy environments with intractible state spaces. I aim to advance the frontiers of formal verification and contribute meaningful solutions to real-world engineering problems.

Thank you for visiting. If you want to get to know me, here are some good places to start.