Our Research

The Trishul lab at UT Austin, directed by Prof. Swarat Chaudhuri, studies problems at the interface of automated reasoning, programming languages, and machine learning. Through a combination of symbolic knowledge representations, statistical learning, search, and automated reasoning, we hope to build a new class of intelligent systems that excel at reasoning-intensive tasks and are reliable, secure, and transparent by construction.