Landon Taylor is an undergraduate research assistant focusing on using inductive reasoning and property-directed reachability to analyze and verify correctness of probabilistic models.
Interests
- Formal Verification
- Computer Architecture
- Proof Automation
- Synthetic Biology
Education
-
BSc in Computer Engineering, 2023
Utah State University