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-
Tweets4K
-
Followers4K
-
Following862
-
Likes3K
I am seeking papers on comparing AI for attacks to AI for defenses--how attackers and defenders benefit from AI. Pointers welcome. Here are some sample questions along those lines. [1] Can AI be used by attackers to write exploits quicker? [2] Can AI be used by defenders to…
Amazing opportunity in a very strong team.
Amazing opportunity in a very strong team.
This is inspiring, Adriana. Changing roles is not easy. Kudos to you for taking the plunge.
This is inspiring, Adriana. Changing roles is not easy. Kudos to you for taking the plunge.
Congrats, Greg!
Congrats Laurens.
Maksym is fantastic! If you are interested in AI safety, definitely apply.
Thanks for hosting me @SimonsInstitute The audience interaction was fantastic~
Thanks for hosting me @SimonsInstitute The audience interaction was fantastic~
Congrats, Sharon. Well deserved.
True words!
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…
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.
Congrats, Arjun.
My desk in grad school was even more basic:-)

Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Gautam Kamath @thegautamkamath
57K Followers 568 Following Assistant Prof of CS @UWaterloo, Faculty @VectorInst, Canada @CIFAR_News AI Chair. Joining @NYU_Courant September 2026. Co-EiC @TmlrOrg. I lead @TheSalonML.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
earlence @EarlenceF
2K Followers 555 Following Prof at @UCSanDiego @ucsd_cse. I hacked a Stop sign once, and it is now in a museum. I also hacked professional bicycles used in the Tour de France.
Nicolas Papernot @NicolasPapernot
10K Followers 639 Following Security and Privacy of Machine Learning @Uoft @VectorInst @Google 🇫🇷🇪🇺🇨🇦 Co-author https://t.co/VJF39DQPCu; @CentraleLyon + @PSUEngineering alumnus. Opinions mine
Battista Biggio @biggiobattista
3K Followers 2K Following Full Professor at University of Cagliari (Italy), Co-Founder of Pluribus One. #Security of #MachineLearning, #CyberSecurity & #ComputerVision
Sharon Y. Li @SharonYixuanLi
11K Followers 802 Following Prof @WisconsinCS. Making AI reliable for the open world.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andreas Zeller @AndreasZeller
9K Followers 220 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Dimitris Papailiopoul... @DimitrisPapail
20K Followers 1K Following Researcher @MSFTResearch, AI Frontiers Lab; Prof @UWMadison (on leave); learning in context; thinking about reasoning; babas of Inez Lily.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Dan Roy @roydanroy
57K Followers 2K Following ML / AI researcher. Research Director and Canada CIFAR AI Chair, @VectorInst. Professor, @UofT (Statistics/CS).
aly @alydotxyz
319 Followers 531 Following intern @blockchaincap | prev @Calblockchain, qr @DigitalAssets
Devesh Ranjan @DeanRanjan
864 Followers 395 Following Grainger Dean of College of Engineering (@UWMadEngr), University of Wisconsin-Madison. Views are my own.
Obaukau @Obaukau528039
35 Followers 2K Following
yumi kim @Yumik8056
2 Followers 15 Following
Starc Institute @ARC_Guide
18 Followers 897 Following Starc Institute: A boundaryless academy where talent unites to ignite research and shape the future. https://t.co/mu3ZxzqLnW
Saber Darabi @SADarabi
295 Followers 7K Following
Meng Tong @mengtong0110
9 Followers 96 Following A first-year master's student at USTC, with an expected graduation in 2027 📚️
r/susim @rysusim
6 Followers 153 Following
Ben Klieger @benklieger
4K Followers 400 Following compound ai lead @groqinc, cs & research @stanford | opinions are my own
Matt Lehman @obsecurus
759 Followers 1K Following Principal Investigator & AI Strategist | AIxCC Lead Architect
Youngjoon Kim @youngjoon421
2 Followers 79 Following
Noel @manitsmelvbu
1 Followers 39 Following
داود الحازم... @adler171102
27 Followers 87 Following
Adriana Porter Felt @__apf__
64K Followers 927 Following I like writing silly Tweets, but that doesn't pay so I also type at @googledeepmind. Principal Engineer. ex-@googlechrome. volunteer @2ndharvest. 🇺🇸🇨🇷
Elza @ElzaE15549
1K Followers 947 Following 🇺🇸 Curating elegance through fashion. 💫 Luxury brands, style tips & runway vibes. #LuxuryLifestyle ⛳🏌️♀️✈️
Tapon K. Ray @realTaponRay
7 Followers 723 Following BTech CS @VITAPuniversity #HCI #Agent automation #Algorithm →Aim: Assembling human as superHuman, aim=∫(∞)dt 🎩
Ike Emmanuel @IkeEmma32127369
4 Followers 56 Following I'm Emmanuel Obinna Ike. From Anambra state, Nigeria. A lover of the things of God.
Nahla taysir 🍉 �... @baroud942001
480 Followers 3K Following I am Nahla from Gaza. I need help to feed the young children and pay the rent. Investigation has been completed by.@RadioWatermelon
Zulfikar Ramzan (He /... @Zulfikar_Ramzan
5K Followers 2K Following CTO Point Wild. Former CTO @RSASecurity. MIT PhD. Intelligent Safety, Cybersecurity, Crypto(graphy), ML / AI. My tweets & opinions. he / him
Olivia Wang @oliviawpy2023
21 Followers 223 Following CSE PhD student @UCSC. Research interests in Human-Centered #XAI (#hcxai), Neurosymbolic AI & Law (#NeSy). Ex-Software Engineer. Views (and the dog) are my own
Gustavus Adolphus @__Adolphus__
5 Followers 153 Following
Jeff Dean | Personal @JeffDeanP
7K Followers 865 Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Vanessa @9v4fW836H0wSjGs
19 Followers 1K Following
Sarthak Choudhary @SarthakUW
0 Followers 3 Following
Sathwik @VishnuSathvik1
716 Followers 702 Following Trying to make machines reason @precogatiiith | ug @iiit_hyderabad | Tweets everything.
HONOLULU @Honeolulu
503 Followers 5K Following
Lydia Zakynthinou @zakynthinou
486 Followers 352 Following
Feiran (Alex) Qin @canarypwn
423 Followers 555 Following Aloha | Second year CSC PhD student in software enginnering + systems @ncstate | @ShanghaiTechUni @UofIllinois alumni | @aosc_dev developer
Uruicar @Uruicar49843
133 Followers 3K Following
Adam @adamyjjones
2 Followers 184 Following
Dao Cuong @DaoCuong276453
33 Followers 854 Following
RoflIITK @RoflIitk
7 Followers 293 Following
Sai Suresh @saisuresh1999
40 Followers 204 Following Master Student @SIC_Saar in Data Science & AI Rashtrapati Scout Awardee (President Scout Awardee). Chess Player FIDE 1309(But could play like 1500+ :D).
Tegan Jegede @jegede_tegan
197 Followers 6K Following Tegan = print( “👨🏾💻passionate engineer ,AI/ML enthusiast , Real Madrid ,arsenal ⚽️ and GSW🏀: ”)
Madhav Aggarwal @madhavaggar
117 Followers 2K Following Applied Scientist @ https://t.co/xzPFQV8lmI | MS @CornellCIS | AI Safety and Alignment | @ReachNITT alum
Jessica Flack @C4COMPUTATION
11K Followers 2K Following Professor | Stealth Mode | Collective Computation | Emergence | Complex Systems | Research: @EMERGCOMP | https://t.co/YXFDzXsho9
Samra (Sam) @Sam14_irshad
27 Followers 733 Following PhD candidate @ Kyung Hee University —Trying to find sweet spots.
Pranav Pawar @KagglePawar
5 Followers 100 Following AI Researcher | Evolution is a mystery, Clock makes a fool of history |
Robin Jia @robinomial
4K Followers 891 Following Assistant Professor @CSatUSC | Previously Visiting Researcher @facebookai | Stanford CS PhD @StanfordNLP
Hannah Jessica @HannahJess47590
66 Followers 722 Following
Muhammad Arham @Muhamma58088514
6 Followers 260 Following Prospective PhD student | 2x Winner of CS50x Puzzle Day | AI & ML Enthusiast | Hackathon finalist @ https://t.co/p5jIK9CLKk| Trainer @ iCodeGuru | LeetCode
Omar Seifelnasr @zkp0mar
17 Followers 420 Following candidate master student looking for PhD or any research position in computer science, blockchain, quantum cryptography, nlp and LLMs
Iwupie @Iwupie641035
22 Followers 2K Following
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Gautam Kamath @thegautamkamath
57K Followers 568 Following Assistant Prof of CS @UWaterloo, Faculty @VectorInst, Canada @CIFAR_News AI Chair. Joining @NYU_Courant September 2026. Co-EiC @TmlrOrg. I lead @TheSalonML.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
earlence @EarlenceF
2K Followers 555 Following Prof at @UCSanDiego @ucsd_cse. I hacked a Stop sign once, and it is now in a museum. I also hacked professional bicycles used in the Tour de France.
Nicolas Papernot @NicolasPapernot
10K Followers 639 Following Security and Privacy of Machine Learning @Uoft @VectorInst @Google 🇫🇷🇪🇺🇨🇦 Co-author https://t.co/VJF39DQPCu; @CentraleLyon + @PSUEngineering alumnus. Opinions mine
Battista Biggio @biggiobattista
3K Followers 2K Following Full Professor at University of Cagliari (Italy), Co-Founder of Pluribus One. #Security of #MachineLearning, #CyberSecurity & #ComputerVision
Sharon Y. Li @SharonYixuanLi
11K Followers 802 Following Prof @WisconsinCS. Making AI reliable for the open world.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andreas Zeller @AndreasZeller
9K Followers 220 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Dimitris Papailiopoul... @DimitrisPapail
20K Followers 1K Following Researcher @MSFTResearch, AI Frontiers Lab; Prof @UWMadison (on leave); learning in context; thinking about reasoning; babas of Inez Lily.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Greg Durrett @gregd_nlp
8K Followers 894 Following Associate professor at NYU (Courant CS + Center for Data Science) | advisor for @bespokelabsai | large language models and NLP | he/him
Maksym Andriushchenko @maksym_andr
5K Followers 889 Following Faculty at @ELLISInst_Tue & @MPI_IS, leading the AI Safety and Alignment group. PhD from @EPFL supported by Google & OpenPhil PhD fellowships.
Laurens van der Maate... @lvdmaaten
4K Followers 2K Following Member of Technical Staff at Anthropic. Ex-Meta. t-SNE. Llama 3. DenseNet. Web-scale weakly supervised vision. CrypTen.
Robin Jia @robinomial
4K Followers 891 Following Assistant Professor @CSatUSC | Previously Visiting Researcher @facebookai | Stanford CS PhD @StanfordNLP
Johann Rehberger @wunderwuzzi23
7K Followers 597 Following Hacking neural networks so that we don’t get stuck in the matrix. Builder and Breaker. Opinions are my own. https://t.co/ij8buvMaXg
Simons Institute for ... @SimonsInstitute
9K Followers 312 Following The world's leading venue for collaborative research in theoretical computer science. Follow us at https://t.co/KvcuGI7WM0.
Kyle Cranmer @KyleCranmer
17K Followers 3K Following Director Data Science Institute @UWMadison @datascience_uw. EiC @MLSTjournal. Physics, stats/ML/AI, open science. same handle @sigmoid.social and bsky
Sara Hooker @sarahookr
49K Followers 9K Following I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.
Alex Kern @kernio
3K Followers 746 Following the latent space between. bringing code to @figma via @dynaboard, prev @coinbase via @_dsys, @CalHacks
Yannis Ioannidis @ACM_President
90 Followers 35 Following ACM President. Professor of Informatics & Telecom, Univ. of Athens, Greece.
Perri Adams @perribus
7K Followers 993 Following @Dartmouth ISTS Fellow & @SAISHopkins Adjunct Prof., inter alia. Former @DARPA, @DEFCON CTF, etc. @DistrictCon, @hexacon_fr, @LABScon_io is CFP Review Boards
SaTML Conference @satml_conf
2K Followers 0 Following IEEE Conference on Secure and Trustworthy Machine Learning March 2026 (Munich) • #SaTML2026
Clark Barrett @ClarkBarrett7
142 Followers 5 Following Professor (Research) in Computer Science at Stanford University
Ashwinee Panda @PandaAshwinee
3K Followers 723 Following Postdoc of @tomgoldsteincs, PhD @princeton, @Cal alum, currently working on LLMs
P.N.Jha @Pramathanatha
68 Followers 132 Following
Montreal AI Ethics In... @mtlaiethics
8K Followers 214 Following International non-profit org democratizing AI ethics literacy. ✉️ Get the AI Ethics Brief bi-weekly: https://t.co/TmitX4ks9N
Benjamin Bikman @BenBikmanPhD
89K Followers 656 Following Endlessly fascinated by the scope of diseases caused by insulin resistance and what to do about it.
Rohith Kuditipudi @rckpudi
693 Followers 122 Following PhD student @StanfordAILab advised by John Duchi and @percyliang
Mingyuan Wang @MingyuanWang0
33 Followers 78 Following Cryptographer, Postdoctoral Researcher at UC Berkeley
Sanam Jung @SanamJungPK
564K Followers 115 Following #SanamJung fans Club. Vj, Actress and Model. Host of #JagoPakistanJago show @ #HumTv. #TeamSanam. #JPJ
N. Asokan @nasokan
897 Followers 35 Following Prof. @UWaterloo, Earlier: @CSAalto, Founder @haic_fi, @Nokia, @IBMResearch, @SyracuseU, @IITKGP. Also https://t.co/PSEBW9RwKf
Andreas Terzis @aterzis
1K Followers 513 Following Lead for GDM Security & Privacy Research team Past: Google Brain/Google/JHU CS Dept
Arfa Sayeda Zehra @ArfaSayeda
282 Followers 3 Following Educationist | Literary personality | Urdu language expert | Historian
Cade Metz @CadeMetz
31K Followers 1K Following New York Times reporter, covering A.I., driverless cars, and other changes: [email protected]. My book, "Genius Makers": https://t.co/TJBqNRKR5Q.
Dr. Glaucomflecken @DGlaucomflecken
695K Followers 435 Following Ophthalmologist. Comedian. Speaker. Tiktok. Contact: [email protected] Bluesky: https://t.co/XXBQPt82Qg
Jihye Choi @jchoi__
84 Followers 168 Following PhD student @WisconsinCS, MS @CMU_ECE. Advised by @jhasomesh. Work on Trustworthy Machine Learning
Randeep Jha @Randeepjha
1K Followers 2K Following Films, Series Director. Directed: #Kohrra #Trialbyfire #Halahal #Kartaa Halahal - https://t.co/Pnj1TF4p1s Trial By Fire - https://t.co/v2C4qT8pzn…
Soheil Feizi @FeiziSoheil
11K Followers 790 Following Founder & CEO at RELAI @ReliableAI, CS Prof at UMD, PECASE Recipient, AI/ML
ICISS (Security) Conf... @IcissConf
77 Followers 575 Following International Conference on Information Systems Security
suhasLL149 @suhasLL149
25 Followers 126 Following So much to learn, so little time! (Disclaimer: all my thoughts are belong to us--i.e., you, me, we, etc. #anatta)
BBC News Mundo @bbcmundo
5.1M Followers 441 Following Twitter oficial de BBC News Mundo. Aquí encuentran una selección de lo mejor de nuestro contenido y los invitamos a una conversación global. ¿Se animan?
SpanishDictionary.com @SpanishDict
43K Followers 464 Following We're the largest free Spanish learning platform!
Rajesh K. Gupta @GuptaUcsd
735 Followers 399 Following Microelectronics, EDA, Intel; Now director @HDSIUCSD and Professor @ucsd_cse @ucsd; UC San Diego. Generally curious, nothing official here.
Charles Isbell @isbellHFh
9K Followers 153 Following Professor & Chancellor, University of Illinois… but this is my personal account.
Jon Oberheide @jonoberheide
14K Followers 242 Following Current: Board member & startup advisor. Past: Co-Founder & CTO at @duosec, PhD at @umich. Go Blue! 〽️
Duluth Trading Co. @DuluthTradingCo
17K Followers 609 Following Duluth Trading Company is hellbent on creating ingenious workwear for hardworking men and women. Shop now: https://t.co/3yDftqcWe3
Hana Mohsin Khan | ه... @girlpilot_
33K Followers 2K Following Commercial pilot 🇮🇳 | Feminist | Liberal | Love is love | Views are personal | Instagram: girl.pilot | 🍉
shehroze Farooqi @shehrozeFarooqi
261 Followers 223 Following Security Researcher @PaloAltoNtwks | Ph.D. from @uiowa | Interested in cyber security, online social networks, and measurements | Opinions are my own
Tudor Borza @tudor_borza
589 Followers 237 Following Husband | Dad | Urologic Oncologist at the University of Michigan | Health Services Researcher | Prostate Program Director @MUSICUrology
Tej Chajed @tchajed
115 Followers 46 Following Researcher working on formal verification of systems software. I do most of my work in the Coq proof assistant using Iris.
Blaine Hoak @blaine_hoak
210 Followers 564 Following Ph.D. candidate in Computer Sciences @UWMadison advised by @pdmcdan | secure & trustworthy AI/ML | prev. Ph.D. Intern @Visa Research | she/her 🏳️🌈
Jennifer Mnookin @Jmnookin
3K Followers 880 Following Chancellor of UW-Madison. Former dean of UCLA School of Law. Follow me at @uwchancellor.
EthanCecchetti@infose... @EthanCecchetti
634 Followers 291 Following Post-doc, Security+PL Researcher, and Bitcoin Unenthusiast at @CollegeParkMC2/@plumlab | PhD @CornellCIS | Future Asst Prof @WisconsinCS | https://t.co/TQl7BTefLT
Ilia Shumailov🦔 @iliaishacked
3K Followers 792 Following Now: stealth, Past: {Senior Scientist @GoogleDeepMind, JRF @ChCh_Oxford @UniofOxford, Fellow @VectorInst, PhD @Cambridge_Uni}