Logo
Picture

Aws Albarghouthi 🍉 أوس @awsTO

computer scientist, professor, palestinian cs.wisc.edu/~aws Madison, WI, USA Joined October 2009
  • Tweets
    3K
  • Followers
    2K
  • Following
    1K
  • Likes
    10K
No recent Tweets. New Tweets will appear here.

Trends for United States

#loveislandusa
Belfast
Wait for the Lord
Ireland
Melanie
#LVMSpoilers
Gabriel
igor
South Carolina
Minab
Fable 5
Lindsey Graham
Rittenhouse
Crockett
Mistake
#Treat_SevEN_With_Respect
Oligarchy
Freddy
#SummerHouse
#ToyStory5

You might like

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
PLDI
@PLDI
5K Followers
A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Loris D'Antoni
@lorisdanto
9K Followers
CS Professor at UT Austin + President of @VeridiseInc.
Isil Dillig
@IsilDillig
4K Followers
Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
Somesh Jha
@jhasomesh
5K Followers
cs professor, h4x0r, cyclist, husband, dad.
Nate Foster
@natefoster
6K Followers
Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Peter O'Hearn
@PeterOHearn12
2K Followers
Associate Professor at @S3DatCMU @SCSatCMU & Research Fellow at @AntithesisHQ. PhD from @Berkeley_EECS.
Rohan Padhye
@moarbugs
3K Followers
Finding nails, building hammers. Prof at UW Allen School (CSE) @ztatlock@discuss.systems
Zachary Tatlock
@ztatlock
1K Followers
Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Ilya Sergey
@ilyasergey
8K Followers
Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Derek Dreyer
@HerrDreyer
3K Followers
Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Jonathan Aldrich
@JAldrichPL
5K Followers
Professor @CIS_Penn | Founder & Co-CEO @Rabdos_AI | Neurosymbolic AI researcher and educator
Mayur Naik
@AI4Code
2K Followers
Partner Researcher, RiSE group, Microsoft Research, Redmond. Interests include programming languages, spreadsheets, responsible AI, generative AI, CRA-Industry.
Ben Zorn (he/him) htt...
@benzorn
2K Followers
Founder and CEO of GenseeAI, Associate Professor of Computer Science at UCSD. LLM serving, AI Workflows, Agents
Yiying Zhang
@yiying__zhang
2K Followers
Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Zhendong Su
@zhendongsu
3K Followers