Swarat Chaudhuri — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Artificial Intelligence Formal Methods Programming Languages and.