Margaret Myers — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Formal Methods Scientific Computing Research Interests: Dr. Myers.