Ken McMillan — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Formal Methods Programming Languages and Compilers Research Interests:.