| Birthplace
|
http://dbpedia.org/resource/India +
|
| http://dbpedia.org/ontology/abstract
|
Jayadev Misra is an Indian-born computer s … Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).ect on Verified Software Initiative (VSI).
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Johns_Hopkins_University +
, http://dbpedia.org/resource/IIT_Kanpur +
|
| http://dbpedia.org/ontology/birthDate
|
"1947-10-17"^^xsd:date
|
| http://dbpedia.org/ontology/birthYear
|
1947
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Orc_%28programming_language%29 +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/NAEfullView.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.nae.edu/178213/Dr-Jayadev-Misra +
, https://awards.acm.org/fellows/award-winners%3Fyear=1995&award=158®ion=&submit=Submit&isSpecialCategory= +
, https://www.cs.utexas.edu/users/misra/ +
, https://iitkalumni.org/daa-awardees +
|
| http://dbpedia.org/ontology/wikiPageID
|
52562048
|
| http://dbpedia.org/ontology/wikiPageLength
|
10650
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1119107479
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Orc_%28programming_language%29 +
, http://dbpedia.org/resource/David_Gries +
, http://dbpedia.org/resource/Leslie_Lamport +
, http://dbpedia.org/resource/Harry_H._Goode_Memorial_Award +
, http://dbpedia.org/resource/IIT_Kanpur +
, http://dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://dbpedia.org/resource/Bachelor_of_Technology +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Academy_of_Medicine%2C_Engineering_and_Science_of_Texas +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_faculty +
, http://dbpedia.org/resource/Ph.D. +
, http://dbpedia.org/resource/Johns_Hopkins_University +
, http://dbpedia.org/resource/Category:1947_births +
, http://dbpedia.org/resource/Category:Johns_Hopkins_University_alumni +
, http://dbpedia.org/resource/Randy_Bryant +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/%C3%89cole_normale_sup%C3%A9rieure_Paris-Saclay +
, http://dbpedia.org/resource/Electrical_engineering +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/Guggenheim_Fellowship +
, http://dbpedia.org/resource/India +
, http://dbpedia.org/resource/Misra%E2%80%93Gries_heavy_hitters_algorithm +
, http://dbpedia.org/resource/UNITY_%28programming_language%29 +
, http://dbpedia.org/resource/Tony_Hoare +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/K._Mani_Chandy +
, http://dbpedia.org/resource/University_of_Texas_at_Austin +
, http://dbpedia.org/resource/Category:Indian_computer_scientists +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/IIT_Kanpur +
, http://dbpedia.org/resource/Johns_Hopkins_University +
|
| http://dbpedia.org/property/birthDate
|
"1947-10-17"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
India
|
| http://dbpedia.org/property/citizenship
|
US
|
| http://dbpedia.org/property/knownFor
|
Contributions in formal aspects of distributed and concurrent computing, in particular projects Unity and Orc.
|
| http://dbpedia.org/property/name
|
Jayadev Misra
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_person +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Birth_date +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1947_births +
, http://dbpedia.org/resource/Category:Indian_computer_scientists +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_faculty +
, http://dbpedia.org/resource/Category:Johns_Hopkins_University_alumni +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Jayadev_Misra?oldid=1119107479&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/NAEfullView.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
https://www.cs.utexas.edu/users/misra/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Jayadev_Misra +
|
| http://xmlns.com/foaf/0.1/name
|
Jayadev Misra
|
| owl:sameAs |
http://dbpedia.org/resource/Jayadev_Misra +
, http://www.wikidata.org/entity/Q28112917 +
, http://viaf.org/viaf/74751673 +
, https://dblp.org/pid/m/JayadevMisra +
, http://yago-knowledge.org/resource/Jayadev_Misra +
, http://data.bibliotheken.nl/id/thes/p073626902 +
, https://global.dbpedia.org/id/2cVXX +
|
| rdf:type |
http://schema.org/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Animal +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Company +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Species +
|
| rdfs:comment |
Jayadev Misra is an Indian-born computer s … Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).ect on Verified Software Initiative (VSI).
|
| rdfs:label |
Jayadev Misra
|
