The Trishul lab at UT Austin studies problems at the interface of machine learning, programming languages, and logic and formal methods. 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.