Landon Taylor is a PhD student focusing on using inductive reasoning and property-directed reachability to analyze and verify correctness of probabilistic models, particularly Chemical Reaction Networks with rare events.