Vladimir Lifschitz — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Artificial Intelligence Formal Methods Research Interests:.