![Landon Taylor](https://popl24.sigplan.org/getProfileImage/landontaylor/0264b0b8-6e53-44de-b218-26bf6f5f8b43/small.jpg?1711883350000)
Registered user since Fri 24 Sep 2021
Name:Landon Taylor
Country:United States
Affiliation:Utah State University
Personal website: https://www.landonjtaylor.net
Research interests:Formal Verification of Probabilistic Systems
Contributions
POPL 2024-profile
View general profile
View general profile