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.
Learning this beautiful ghazal is Raag Tilang by the maestro Mehdi Hasan. maiñ nazar se pī rahā huuñ ye samāñ badal na jaa.e na jhukāo tum nigāheñ kahīñ raat Dhal na jaa.e youtube.com/watch?v=XKOg66…
Congrats @vardi and the team from IBM. Important work in transitioning FM to industry.
And the CAV award goes to... 🥁🥁🥁 Roy Armoni, Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Limor Fix, John Havlicek, Avner Landver, Hiller Miller, and Moshe Vardi 🏆 INDUSTRIAL TEMPORAL LOGIC SPECIFICATION MECHANISMS 🏆 @vardi
Full circle moment. Sang this song at my wedding reception in Bhilai. Sang it last week at my daughter's reception in Madison.
Congrats Daniel.
Apparently I was awarded the new @Google ML and Systems Junior Faculty Award? A welcome surprise in these uncertain times: "It is a challenging time to be conducting critical academic research given uncertainties in the funding environment. While Google’s funding is only a small…
Congrats, Arjun.
I am very happy to see @ArjunArunasalam joining @FIU as a tenure-track Assistant Professor. It has been a great pleasure to work with Arjun throughout his doctoral studies. I am confident he will achieve significant success in his new role at @FIUSCIS. Congratulations, Arjun!
My desk in grad school was even more basic:-)
If this wasn't your desk in grad school, you haven't lived.
Fantastic venue. Everyone I chatted with was raving about @satml_conf 2025. Plus the current chairs @mlsec and Rachel Cummings are fantastic.
We're excited to announce the Call for Papers for SaTML 2026, the premier conference on secure and trustworthy machine learning @satml_conf We seek papers on secure, private, and fair learning algorithms and systems. 👉 satml.org/call-for-paper… ⏰ Deadline: Sept 24
Highly recommend @thegautamkamath for this position. Please vote for him!
ICML's election for their board of directors has begun. I've thrown my hat in the ring. Please consider voting for Gautam Kamath. I have experience with the governance of TMLR, COLT, and ALT, and I think I've demonstrated myself as a consciencious and engaged community member.
Congrats Meena!
I'm so excited to be joining @Penn as an Assistant Professor in CS (@CIS_Penn) in Fall 2026! I’ll be working on machine learning ecosystems, aiming to steer how multi-agent interactions shape performance trends and societal outcomes. I’ll be recruiting PhD students this cycle!
Mark my words. This is not going to well:-(
First practice in the Black & Gold 🙌 @AaronRodgers12
Sean is doing some excellent work. Excellent opportunity to work with him👇
🚨 We’re hiring! The Radio Lab @ NTU Singapore is looking for PhD, master, undergrads, RAs, and interns to build responsible AI & LLMs. Remote/onsite from 2025. Interested? Email us: [email protected] 🔗 d12306.github.io/recru.html Please spread the word if you can!