Publications
2025
Tackling Scalability for Transient Reachability Analysis of Chemical Reaction Networks (Poster)
Landon Taylor, Zhen Zhang
Appears
in FMCAD 2025 Student Forum
2025
Stochastic Modeling and Experimental Validation of Cannabinoid Biosynthesis in Saccharomyces cerevisae
Bingqing Hu, Ammar Mussaji, Joshua Jeppson, Landon Taylor, et. al.
Appears
in IBE 2025
2025
Degradation-Driven Failure Minimization in Genetic Circuits Through Model Checking
Landon Taylor, Lukas Buecherl, Zhen Zhang
Appears
in IWBDA 2025
2025
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces (Preprint)
Joshua Jeppson, Landon Taylor, Bingqing Hu, Zhen Zhang
Appears
in preprint at arXiv
View 5 More
View Details
Employment
2023–Present
PhD 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–2025
Teaching Assistant
Utah State University
VLSI Testing and Verification
Digital Circuit Design
C Programming
English Conversation
2019–2023
Research Assistant
Utah State University
Undergraduate Research Fellow
Advised by Dr. Zhen Zhang
View Details
Skillsand Expertise
Formal Methods
Stochastic Models
SAT & SMT
Model Checking
Theorem Proving
Vector Addition Systems
Chemical Reaction Networks
Reachability Analysis
Programming Languages
C & C++
Java
JavaScript
MATLAB
Prolog
Python
R
Ruby
Rust
Bash
SQL
Dafny
Web Dev
Collaboration
Version Control
Reference Management
Containerization
Code Review
Project Management
Documentation
Classroom Management
View Details
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
View Details
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
View Details
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
View Details