I am a PhD candidate at Utah State University specializing in formal methods and their applications to real-world systems. My research focuses on advancing rigorous techniques for stochastic system verification and reliability, with an emphasis on collaborative, interdisciplinary projects. I am committed to addressing complex challenges at the cutting edge of formal methods, and I actively seek opportunities to contribute to impactful research and industry collaborations.