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 Contribution Kind Connections
Credited
Source Misra-Gries heavy hitters algorithm (Wikipedia)
In Field
Source Jayadev Misra (Wikipedia)
Source Jayadev Misra (Wikipedia)
Invented By
Source Misra-Gries heavy hitters algorithm (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: Jayadev Misra
Wikidata Q28112917, class allow-list match (w-wdresolver-0926)View the Source 2. Jayadev Misra (Wikipedia)
Infobox: known_for
Contributions in formal aspects of distributed and concurrent computing, in particular, the Unity and Orc projects.
- In Field: Distributed Computing, Infobox field and known_for, lead paragraph
- In Field: Formal Methods, Infobox field and known_for, lead paragraph
View the SourceMisra-Gries heavy hitters algorithm (Wikipedia)
Credited: Misra-Gries heavy hitters algorithm, Lead
Misra and Gries defined the heavy-hitters problem
Invented By: Misra-Gries heavy hitters algorithm, Lead
described the first algorithm
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.