user avatar
Somesh Jha
@jhasomesh
Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
Wisconsin, USA
Joined February 2010
  • user avatar
    I find the following type of review of most irritating: "I find the results in this paper not surprising." If you want to be entertained, please watch a movie:-)
  • user avatar
    Prospective graduate students. Free advice. If you have the choice, DO NOT STAY at your undergraduate institution for graduate school. Diversity of ideas and opinions is important. Being a bit uncomfortable is good. Life begins at the end of your comfort zone.
  • user avatar
    As if 2020 couldn't get any worse, my advisor Ed Clarke passed away yesterday. He won the 2007 Turing Award for this work (amturing.acm.org/award_winners/โ€ฆ). Really sad and heartbroken really. ๐Ÿ˜ช
  • user avatar
    COVID situation in India hits close to home. Just lost a cousin sister. She was a gentle soul with beautiful singing voice. She is singing somewhere, but I just can't hear:-( She was only 43 years old. Too soon...
  • user avatar
    Really honored to receive this award. A testament to my great students, colleagues, and collaborators.๐Ÿ™
    Professor Somesh Jha was honored with the UW-Madison Kellett Mid-Career Award for 2022-2023. Read more here: cs.wisc.edu/2022/05/19/somโ€ฆ @jhasomesh @WARF_News @UWiscResearch @UWMadisonLS @UWMadScience
  • user avatar
    Must read for graduate students and academics. Every time I go through a difficult unproductive phase, I read this article. wisdom.weizmann.ac.il/~oded/advice.hโ€ฆ
  • user avatar
    Excellent talk by Prof. Tom Reps from @WisconsinCS on writing research papers. I will make it a required reading/watching for all students coming into my group. Talk: pldi21.org/prerecorded_plโ€ฆ Slides: cs.wisc.edu/wpis/talks/Wriโ€ฆ
  • user avatar
    I hear lot of grumbling about #NeurIPS reviews. The root cause is increased number of submissions and publications. As a community, we simply don't have the capacity to handle the volume of submissions. If we don't disincentivize the "numbers game", nothing will improve.
  • user avatar
    Wow, this was a really nice surprise. My years at @iitdelhi were absolutely wonderful. Really cherish this award. Made by day. Now back to Zoom meetings:-)
    #IITDelhi is pleased to announce the #AlumniAwards 2021. Congratulations to all our #alumni who have done us proud through their contributions and achievements! #iit #iitalumni
  • user avatar
    Humbled and excited to receive MURI on the general topic of robust learning. PIs are from US (UW, UCSD, CMU, PSU) and Australia (University of Melbourne, Macquarie University, University of Newcastle). cto.mil/wp-content/uplโ€ฆ
  • user avatar
    New group at Google with focus on ML debugging is looking for qualified candidates. Reach out to [email protected] if you are interested. The group will be responsible for ML debugging infrastructure covering performance debugging,
  • user avatar
    I have no significant accomplishments to report in 2023. Just another year passed by, and I am still here. I guess I should be thankful for that. ๐Ÿ˜€
  • user avatar
    A junior faculty" "how do I get my h-index up?" Me: "get older!"๐Ÿ˜€
  • user avatar
    Question for fellow researchers: I always try to submit my papers to top-tier venues few times before dropping tiers. However, I realize that the "revise resubmit" cycle can be frustrating for students. What is your strategy on submissions?