Don Batory — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Formal Methods Programming Languages and Compilers Scientific Computing.