Landon J. Taylor

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.

2023–Present

Doctor of Philosophy

Utah State University in Logan, UT
Coursework GPA of 4.0

    Accomplishments and Outcomes:
  • Passed Qualifying Exam
  • Completed all required coursework
  • Conducted research on the applications of formal methods to large-scale, real-life stochastic systems
2019–2023

Bachelor of Science

Utah State University in Logan, UT
Coursework GPA of 3.86

    Accomplishments and Outcomes:
  • Graduated Magna Cum Laude
  • Completed a senior project on digital signal processing
  • Conducted undergraduate research as a member of the Undergraduate Research Fellowship