Publications
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
TOOLympics – April 2024
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
Enhancing Property-Directed Reachability for Chemical Reaction Networks (Poster)
FMCAD Student Forum – October 2023
Landon Taylor and Zhen Zhang
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks
FMCAD – October 2023
Landon Taylor, Bryant Israelsen, and Zhen Zhang
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks
SPIN – April 2023
Bryant Israelsen, Landon Taylor, and Zhen Zhang
Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms
VMCAI – January 2022
Landon Taylor and Zhen Zhang
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.
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.
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.
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.