Jayadev Misra (born October 17, 1947) is an Indian-born, US citizen computer scientist who holds the Schlumberger Centennial Chair Emeritus in computer science at the University of Texas at Austin, known for contributions to the formal aspects of distributed and concurrent computing, including the UNITY programming notation and the Orc programming language. He jointly led the Verified Software Initiative with Sir Tony Hoare, earned his PhD in electrical engineering and computer science from Johns Hopkins University in 1972, and joined UT Austin's faculty in 1974 after briefly working for IBM, retiring from active teaching in 2015.
Facts
Awardhonorary doctor of the École normale supérieure de Cachan 1 AwardHarry H. Goode Memorial Award 1 Connections
In Field
Source Jayadev Misra (Wikipedia)
Source Jayadev Misra (Wikipedia)
In the Other Atlases
Sources
1. Wikidata: Jayadev Misra
Wikidata Q28112917, class allow-list match (w-wdresolver-0926)View the Source Jayadev Misra (Wikipedia)
- In Field: Distributed Computing, Infobox field and known_for, lead paragraph
- In Field: Formal Methods, Infobox field and known_for, lead paragraph
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.