Publications

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

TOOLympics – Late 2023 (to appear)

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. KÖhl, Bettina KÖnighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

TOOLympics 2023

Enhancing Property-Directed Reachability for Chemical Reaction Networks (Poster)

FMCAD Student Forum – October 2023

Landon Taylor and Zhen Zhang

View Poster

Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks

FMCAD – October 2023

Landon Taylor, Bryant Israelsen, and Zhen Zhang

View Open-Access Paper

Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks

SPIN – April 2023

Bryant Israelsen, Landon Taylor, and Zhen Zhang

View Paper

Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms

VMCAI – January 2022

Landon Taylor and Zhen Zhang

View Paper

Awards & Distinctions

Undergraduate Researcher of the Year (Peak Prize)

April 2023

Awarded by both the Department of Electrical and Computer Engineering and the College of Engineering at Utah State University.

View Award

Outstanding Pre-Professional Student

2021-22 Academic Year

Awarded by the Department of Electrical and Computer Engineering at Utah State University.

Undergraduate Research Fellowship

2019—2023

Membership at Utah State University.

Presidential Scholarship

2019—2023

Awarded by Utah State University.

Education

PhD – Electrical Engineering, Formal Methods

Department of Electrical and Computer Engineering – Utah State University

2023—2027 (Anticipated)

Advised by Dr. Zhen Zhang. Maintained coursework GPA at or above 3.8 and regularly participated in and presented at technical conferences. Researched formal methods, especially the implications of Property-Directed Reachability on probabilistic systems like Chemical Reaction Networks.

View Current Research

BS – Computer Engineering

Department of Electrical and Computer Engineering – Utah State University

2019—2023

Received the Presidential Scholarship and maintained a GPA at or above 3.8. Worked part- and full-time and participated in research to finance education.

Employment

PhD Student in Formal Methods

Department of Electrical and Computer Engineering – Utah State University

2023—Current

Research the implications of complex probabilistic systems like Chemical Reaction Networks in the area of probabilistic verification. Prepare and present research to present at competitive conferences. Assist in preparing grant proposals and other administrative tasks.

View Current Research

Teaching Assistant: Digital Circuits

Department of Electrical and Computer Engineering – Utah State University

2023—Current

Inspire and assist students in using good design practices to create functional and correct digital designs for FPGA devices in Verilog. Assist in lecturing in professor’s absence.

Undergraduate Research Assistant

Department of Electrical and Computer Engineering – Utah State University

2019—2023

Use formal methods to verify livelock-freedom and fault-tolerance on a network-on-chip model. Use and extend probabilistic model checking tools to verify complex Chemical Reaction Networks. Prepare and present papers at competitive conferences. Assist in preparing grant proposals and other research tasks.

Teaching Assistant: C Programming

Department of Electrical and Computer Engineering – Utah State University

2020

Inspire and assist students in the use of the C programming language and algorithm design.

Teaching Assistant: English Conversation

Intensive English Language Institute – Utah State University

2019

Help teach students English as a second language and collaborate in groups to practice conversational and group work skills in an American educational setting.

Presidential Scholarship

2019-2023

Awarded by Utah State University.

Service & Community Involvement

Artifact Evaluation Committee Member

VMCAI 2024

Verified that results from submitted papers are reproducible using presented methods.

Artifact Evaluation Committee Member

QEST 2023

Verified that results from submitted papers are reproducible using presented methods.

Crisis Counsellor

Crisis Text Line

2019—Current

Communicated clearly and empathetically with people in crisis. Helped texters to reach a state of calm from a moment of crisis. Served texters during a transition to the National Crisis Hotline.

General Volunteer

Religious Service Organization

2017—2019

Worked as part of a team to teach and provide basic needs to people in Honduras. Led and inspire a team of over 150 volunteers.

Beginning Computer Skills Instructor

Portneuf District Library

2014—2016

Taught basic computer skills to seniors to enable them to communicate with loved ones, gain employer-required proficiencies, and enjoy the use of computer systems.