Somesh Jha

Somesh Jha is a Professor at the University of Wisconsin-Madison's Computer Sciences Department since 2000. Previously, he was a faculty member at the IMDEA Software Institute (Madrid, Spain), though he is no longer affiliated there. He holds a B.Tech in Electrical Engineering from the Indian Institute of Technology, New Delhi (199?), and a Ph.D. in Computer Science from Carnegie Mellon University (1996).

His research focuses on cybersecurity, including security protocol analysis, survivability analysis, intrusion detection systems, formal methods for security, and privacy-preserving protocols. He has also contributed to analyzing malicious code. With over 150 peer-reviewed publications, his work emphasizes practical and theoretical advancements in computer security.

Dr. Jha has received the NSF Career Award in 2005 and multiple best-paper awards. His career highlights include bridging formal verification techniques with real-world security challenges.

Advising and grants: While specific grant details are not provided, his extensive publication record suggests active research funding. No student names are listed in the provided text.