Somesh Jha

Ph.D. Carnegie Mellon University 1996
Person human Q102215221
Press Enter · cited answer in seconds

Somesh Jha

Summary

Somesh Jha is a human[1]. He worked as a computer scientist[2].

Key Facts

  • Somesh Jha worked as a computer scientist[2].
  • Somesh Jha was employed by University of Wisconsin–Madison[3].
  • Somesh Jha's education included a stint at Carnegie Mellon University[4].
  • Somesh Jha's doctoral advisor was Edmund M. Clarke[5].
  • Somesh Jha received the Fellow of the American Association for the Advancement of Science[6].
  • Somesh Jha received the ACM Fellow[7].
  • Somesh Jha was a member of Association for Computing Machinery[8].
  • Somesh Jha is recorded as male[9].
  • Somesh Jha's instance of is recorded as human[10].
  • Somesh Jha supervised Alexander V. Mirgorodskiy as a doctoral student[11].
  • Somesh Jha supervised Jonathon T. Giffin as a doctoral student[12].
  • Somesh Jha supervised Shai A. Rubin as a doctoral student[13].
  • Somesh Jha supervised Vinod Ganapathy as a doctoral student[14].
  • Somesh Jha supervised Randy David Smith as a doctoral student[15].
  • Somesh Jha supervised William R. Harris as a doctoral student[16].
  • Somesh Jha supervised Matt Fredrikson as a doctoral student[17].
  • Somesh Jha supervised Xi Wu as a doctoral student[18].
  • Somesh Jha's ISNI is recorded as 0000000082856005[19].
  • Somesh Jha's VIAF cluster ID is recorded as 101450066[20].
  • Somesh Jha's Library of Congress authority ID is recorded as nb2009026359[21].
  • Somesh Jha's Mathematics Genealogy Project ID is recorded as 50257[22].
  • Somesh Jha's Google Scholar author ID is recorded as BaI7l8QAAAAJ[23].
  • Somesh Jha's Google Knowledge Graph ID is recorded as /g/11f012mmzh[24].
  • Somesh Jha's MR Author ID is recorded as 274141[25].
  • Somesh Jha's Canadiana Name Authority ID is recorded as ncf11520804[26].

Body

Education

Somesh Jha was educated at Carnegie Mellon University[4]. His doctoral advisor was Edmund M. Clarke[5].

Career and Affiliations

Somesh Jha's professions included computer scientist[2]. He was employed by University of Wisconsin–Madison[3]. Doctoral students include Alexander V. Mirgorodskiy[11], a computer scientist[27]; Jonathon T. Giffin[12], a computer scientist[28]; Shai A. Rubin[13], a computer scientist[29]; Vinod Ganapathy[14]; Randy David Smith[15], a computer scientist[30]; and William R. Harris[16], a computer scientist[31].

Recognition

Awards received include Fellow of the American Association for the Advancement of Science[6], a fellowship award[32], in United States[33], founded in 1874[34] and ACM Fellow[7], a fellowship award[35].

Why It Matters

Somesh Jha's notable doctoral advisees include Alexander V. Mirgorodskiy[36], a computer scientist[37]; Jonathon T. Giffin[38], a computer scientist[39]; Shai A. Rubin[40], a computer scientist[41]; Randy David Smith[42], a computer scientist[43]; William R. Harris[44], a computer scientist[45]; and Matt Fredrikson[46], a computer scientist[47].

FAQs

What did Somesh Jha do for work?

Somesh Jha worked as computer scientist[2].

Where did Somesh Jha go to school?

Somesh Jha was educated at Carnegie Mellon University[4].

What awards did Somesh Jha receive?

Honors received include Fellow of the American Association for the Advancement of Science[6] and ACM Fellow[7].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [9] . wikidata.org.
  2. [10] . wikidata.org.
  3. [4] . Mathematics Genealogy Project. wikidata.org.
  4. [2] . wikidata.org.
  5. [3] . pages.cs.wisc.edu. pages.cs.wisc.edu. Provenance: wikidata.org.
  6. [6] . web.archive.org. web.archive.org. Provenance: wikidata.org.
  7. [7] . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  8. [5] . Mathematics Genealogy Project. wikidata.org.
  9. [11] . Mathematics Genealogy Project. wikidata.org.
  10. [12] . Mathematics Genealogy Project. wikidata.org.
  11. [13] . Mathematics Genealogy Project. wikidata.org.
  12. [14] . Mathematics Genealogy Project. wikidata.org.
  13. [15] . Mathematics Genealogy Project. wikidata.org.
  14. [16] . Mathematics Genealogy Project. wikidata.org.
  15. [17] . Mathematics Genealogy Project. wikidata.org.
  16. [18] . Mathematics Genealogy Project. wikidata.org.
  17. [19] . wikidata.org.
  18. [20] . wikidata.org.
  19. [21] . wikidata.org.
  20. [8] . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  21. [22] . wikidata.org.
  22. [23] . wikidata.org.
  23. [24] . wikidata.org.
  24. [25] . wikidata.org.
  25. [26] . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [36] . wikidata.org. → on this site
  2. [38] . wikidata.org. → on this site
  3. [40] . wikidata.org. → on this site
  4. [42] . wikidata.org. → on this site
  5. [44] . wikidata.org. → on this site
  6. [46] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [32] . Wikidata. wikidata.org. → on this site
  2. [33] . Wikidata. wikidata.org. → on this site
  3. [34] . Wikidata. wikidata.org. → on this site
  4. [35] . Wikidata. wikidata.org. → on this site
  5. [27] . Wikidata. wikidata.org. → on this site
  6. [28] . Wikidata. wikidata.org. → on this site
  7. [29] . Wikidata. wikidata.org. → on this site
  8. [30] . Wikidata. wikidata.org. → on this site
  9. [31] . Wikidata. wikidata.org. → on this site
  10. [37] . Wikidata. wikidata.org. → on this site
  11. [39] . Wikidata. wikidata.org. → on this site
  12. [41] . Wikidata. wikidata.org. → on this site
  13. [43] . Wikidata. wikidata.org. → on this site
  14. [45] . Wikidata. wikidata.org. → on this site
  15. [47] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Somesh Jha. Retrieved March 8, 2026, from https://4ort.xyz/entity/somesh-jha
MLA “Somesh Jha.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 2026, https://4ort.xyz/entity/somesh-jha.
BibTeX @misc{4ortxyz_somesh-jha_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Somesh Jha}}, year = {2026}, url = {https://4ort.xyz/entity/somesh-jha}, note = {Accessed: 2026-03-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Somesh Jha — https://4ort.xyz/entity/somesh-jha (retrieved 2026-03-08)

Canonical URL: https://4ort.xyz/entity/somesh-jha · Last refreshed: