I am fluent in many programming languages across multiple paradigms and value both practical skill, as well as theoretical knowledge. I am a third-year PhD student at a certain university in the northern part of a very nice mountain state (Utah State University in, you guessed it, Utah). My research focuses on the verification of probabilistic and stochastic systems such as computer networks, chemical reaction systems, and population models. I develop theories, methodologies, and tools related to the analysis of such systems. My claim to fame is my knowledge of continuous-time systems, particularly those which operate over a VAS state-space.
Among the tools I have worked on are STAMINA (and its web app), which I completely re-wrote from the ground up, Wayfarer, which is entirely my project, and most recently Cardio, a Rust-native probabilistic model checking engine that is designed to (eventually) be verified using a program proof engine such as Kani.
In addition, I administer a Linux computer lab on USU's campus, host websites on my home-server, and have contributed code to one or two open-source projects that I use regularly. As of late, I have been learning Svelte (which is what this site is written in), and really been getting into Rust.