Venkat Arun — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Formal Methods Systems and Networking Research Interests: Networked.