Somesh Jha

Digital Library

ACM Fellows

USA - 2016

citation

For contributions to verification, programming languages, and software engineering.

Press Release

ACM Distinguished Member

USA - 2014