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