Jayadev Misra — Computer Science & Eng. faculty at UT Austin. Research: Research Areas: Formal Methods Research Interests: Structuring of concurrent and.