I'm a post-doc in UT Austin's Trishul lab working on problems in the intersection of probabilistic programming, logic, and machine learning.
Texas A&M → UW Madison | madPL → UT Austin
My CV is available upon request.
- VMCAI 2019
- POPL 2019
- FSE 2017Discovering Relational SpecificationsBest Paper Award