Landon J. Taylor
As a computer engineering student at Utah State University, I spend my days studying, designing, testing, verifying, and creating engineered systems. Of late, I have been researching formal methods at Utah State University.
My interests are varied and balanced. When I am not researching and studying, I spend my time volunteering in my community and pursuing a variety of hobbies.
Fall 2023 (to appear)
TOOLympics 2023October 2023
Open-Access PaperApril 2023
View PaperJanuary 2022
View Paper2023
2021
2019-2023
2023 – Present
Research the implications of complex 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 Research2019 – 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 administrative tasks.
2020
Inspire and assist students in the use of the C programming language and algorithm design.
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.
2019 – Present
Maintain active involvement in research as an undergraduate student.
May 2027
Advised by Dr. Zhen Zhang
Maintained coursework GPA at or above 3.8
Regularly prepared and presented research at competitive conferences
May 2023
Received Presidential Scholarship
Maintained GPA at or above 3.8
Worked part- and full-time to finance education
2023
Verify that results from submitted papers are reproducible using presented methods.
2019 – Present
Communicate clearly and empathetically with people in crisis to reach a state of calm from a moment of crisis.
2017 – 2019
Work as part of a team to teach and provide basic needs
to people in Honduras.
Lead and inspire a team of over 150 volunteers.
2014-2016
Teach basic computer skills to seniors to enable them to communicate with loved ones, gain employer-required proficiencies, and enjoy the use of computer systems.
Technical Skills
Communication Skills
Interpersonal Skills