Recent Publications

2026 Ragtimer 1.0: Rapid Rare-Event Partial State Space Construction for Stochastic VAS
Landon Taylor, Joshua Jeppson, Bingqing Hu, Lukas Buecherl, et. al.
To appear in ATVA 2026

2026 A Standardized SBML/PRISM Benchmark Library for Stochastic Model Checking in Synthetic Biology
Mohammad Ahmadi, Bryant Israelsen, Joshua Jeppson, Riley Roberts, et. al.
Appears in J. Integr. Bioinform.

2025 Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models (Preprint)
Landon Taylor, Joshua Jeppson, Ahmed Irfan, Lukas Buecherl, et. al.
Appears in preprint at arXiv

2025 Tackling Scalability for Transient Reachability Analysis of Chemical Reaction Networks (Poster)
Landon Taylor, Zhen Zhang
Appears in FMCAD 2025 Student Forum

View 8 More

Employment

2023–Present Doctoral Researcher
Utah State University Focus on formal methods
Advised by Dr. Zhen Zhang

2025–Present Substitute Teacher
Kelly Education Cache County School District
Logan City School District
InTech Collegiate High School

2020–Present Teaching Assistant
Utah State University High Performance Microarchitecture
VLSI Testing and Verification
Digital Circuit Design
C Programming

2019–2023 Research Assistant
Utah State University Undergraduate Research Fellow
Advised by Dr. Zhen Zhang

Teachingand Mentoring

Fall 2026 ECE 2700: Digital Circuits
Utah State University Course instructor for 21 undergraduate students

2026 Coursera Content Development
Utah State University & University of Colorado Boulder Developed content for a Coursera course on formal methods

Education

2023–Present Doctor of Philosophy
Utah State University Coursework GPA of 4.0

2019–2023 Bachelor of Science
Utah State University Coursework GPA of 3.86

Awardsand Distinctions

2023 Undergraduate Researcher of the Year (Peak Prize)
Utah State University Department of Electrical and Computer Engineering
College of Engineering

2019–2023 Dean's List
Utah State University Department of Electrical and Computer Engineering

2022 Outstanding Pre-Professional Student
Utah State University Department of Electrical and Computer Engineering

2019–2023 Undergraduate Research Fellowship
Utah State University

2019–2023 Presidential Scholarship
Utah State University

Serviceand Community

Ongoing Academic Peer Review
IWBDA 2025
VMCAI 2025
FMICS 2025

Ongoing Artifact Evaluation
SPIN 2025
VMCAI 2024
QEST 2023

2019–2024 Crisis Counsellor
Crisis Text Line

2017–2019 General Volunteer
Religious Service Organization

2014–2017 Computer Skill Instructor
Portneuf District Library