Back to advisors
JM
Jayadev Misra
Professor Emeritus
University of Texas at Austin · United StatesFormal MethodsProgramming languagesSemanticsApplication design
Data verified 9/6/2026Source
Professor Emeritus
University of Texas at Austin · United StatesData verified 9/6/2026Source