Işıl Dillig — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Artificial Intelligence Databases Formal Methods Programming Languages.