Meet the Speaker: Somesh Jha
View more in
Somesh Jha received his B.Tech from Indian Institute of Technology, New Delhi in Electrical Engineering. He received his Ph.D. in Computer Science from Carnegie Mellon University under the supervision of Prof. Edmund Clarke (a Turing award winner).
Currently, Somesh Jha is the Lubar Professor in the Computer Sciences Department at the University of Wisconsin (Madison). His work focuses on analysis of security protocols, survivability analysis, intrusion detection, formal methods for security, and analyzing malicious code.
Recently, he has focused his interest on privacy and Adversarial Machine Learning. Somesh Jha has published several articles in highly-refereed conferences and prominent journals. He has won numerous best-paper and distinguished-paper awards. Prof. Jha received the Computer-Aided Verification (CAV) award for his work on Counter Example-Guided Abstraction Refinement. He has also has received the IIT-Delhi Distinguished Alumni award. Prof. Jha is the fellow of the Association for Computing Machinery, the Institute of Electrical and Electronics Engineers, and the American Association for the Advancement of Science.
