I am a PhD student specializing in formal methods for stochastic systems, with a particular interest in the intersection of mathematics, computer science, biology, chemistry, and engineering. My academic journey began with a fascination for how rigorous logic can be harnessed to analyze and verify complex, uncertain systems.

I completed my undergraduate studies in computer engineering, where I developed a foundation in logic, system design, and discrete mathematics. In my first week of college, I was introduced to formal verification techniques and quickly became intrigued by their potential to ensure reliability in systems subject to randomness.

Now pursuing graduate studies, I focus on formal methods, specifically targeting stochastic processes and their practical applications. My research explores bridges between traditional verification approaches and probabilistic systems. I specialize in the development of algorithms for verifying properties of Continuous-Time Markov Chains.

Throughout my doctoral work, I have collaborated with interdisciplinary teams, applying formal verification to domains such as network protocols, cyber-physical systems, and biochemical systems. I am particuarly fascinated by the complex dynamics of Chemical Reaction Networks. My work often bridges theory and practice, aiming to make formal methods accessible and scalable for engineers and scientists.

I am a primary developer of Ragtimer and the Stamina Toolset, which are probabilistic verification tools that will be released this fall. I am so passionate about formal methods tooling that I maintain Formal Methods Tools, which aims to be the world’s largest collection of information about tools that support formal methods.

Teaching has also been a significant part of my academic life. I have assisted in the instruction of several courses, and I am a substitute teacher for local schools in addition to my PhD studies. I am passionate about education, and I believe it is the greatest gift we can give our fellow humans.

For fun, I enjoy reading and writing fiction, cooking, and hobbyist software development. I have two adorable cats, Dumpling and Nutmeg, who have “helped” me write this and most other documents I produce.

Timeline

• Aug 2025 Updated my CV This update feels like a milestone that's
  as big as everything else on this timeline.
• Jun 2023 Started a PhD I can't believe I'm doing this
• May 2023 Graduated from USU No longer a bachelor, but they still
  gave me a bachelor's degree.
• Jan 2022 First Publication My first presentation was at VMCAI,
  in the middle of COVID-19,
  in Philadelphia in January.
• Aug 2019 Started at USU I started as a research assistant
  in my first week as a student.
• Jun 2019 Returned to Idaho Home sweet home.
• Jul 2017 Moved to Honduras I had no idea what I was doing.
• May 2017 Graduated High School Done with Idaho's public education system.
• 2016 Became Drum Major Leading the band was a great honor.
• 2014 Joined Marching Band Also started high school.
• 2011 Started Middle School This too shall pass.
• 2009 Graduated Fourth Grade Mrs. Hill was my favorite teacher.
• 2004 Started Kindergarten The start of my formal education.
• 2003 Learned to Read
• 2002 Started Preschool No one told me I would be stuck
  in school for the next two decades.
• 1999 Nokia 3210 Released Also, I was born :)