McKinney Falls State Park; March 25, 2022.

The Trishul lab at UT Austin, directed by Prof. Swarat Chaudhuri, studies problems at the interface of programming languages, logic and formal methods, 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 are reliable, secure, and transparent by construction and can perform complex tasks that are beyond the scope of contemporary AI.