
Leaders in computing since 1964. 📍 Part of @uwmadison's new College of Computing & Artificial Intelligence.
Madison, WI
Joined February 2010
- Tweets2.3K
- Following645
- Followers4K
- Likes1.9K
On the pod: "Recursive Program Synthesis" with @awsTO, Associate Professor at @WisconsinCS.
How cold-emailing @SumitGulwani at Microsoft Research led to a novel research paper and inside Aws' vision to automatically synthesize the software stack for future quantum computers.
Recursive Program Synthesis w/Aws Albarghouthi
The official Ndea podcast - Abstract Synthesis
UW–Madison Computer Sciences retweeted
Warm congratulations to our three @UWMadison faculty recognized as @GuggFellows — selected from a pool of 5000+ scholars nationwide! 👏 Ilias Diakonikolas (@WisconsinCS), Randall H. Goldsmith (@UWMadisonChem), and Claire Wendland (@uwmadisonafrica). news.wisc.edu/three-uw-madis…
UW–Madison Computer Sciences retweeted
Computer Sciences professor Aws Albarghouthi has a “provocative vision” for how teaching quantum computing to overcome common learning barriers: beginning with computer programming. Read more: ow.ly/Kr0k50YEy3X
#Quantum #MidwestQuantum @awsTO @TannuSwamit @WisconsinCS
UW–Madison Computer Sciences retweeted
First look at the initial draft of the legs that will carry the nation's first student-led, full SOTA humanoid robot! Lots of improvements under way.
Architecture:
FAR Hips
RSU Linkage for ankles
UW–Madison Computer Sciences retweeted
Thank you so much @WisconsinCS for this beautiful article about me and my robots. I’m deeply grateful for the support from our department, my advisor Bilge, and my lab mates in making my robot design work possible. 🤖👥🫶
Most robots are designed to perform practical, if unglamorous, jobs — but not all.
In the People and Robots Lab, PhD candidate Amy Koike (@AmyInMadison21) designs expressive robots that spark joy and human connection.
Expressive machina: cs.wisc.edu/2026/03/04/expre…
UW–Madison Computer Sciences retweeted
It is a great pleasure to attend #HRI2016 again! This year, seven papers from the People and Robots Lab will be presented! We are already excited about presenting. Make sure to come to our talks!🥰 Go Badgers!
UW–Madison Computer Sciences retweeted
I am teaching a graduate class on trustworthy AI (CS 763) at @WisconsinCS
We having amazing guest lectures planned. I have created youtube videos for the guest lectures. In our first guest lecture Saeed (smahloujifar.github.io/) talks about memorization in LLMs.
youtu.be/ARBE7Q5jIJ4
UW–Madison Computer Sciences retweeted
As part of a new @WisconsinCS entrepreneurship course, @HeyEpic founder and Badger alumna Judy Faulkner returned to campus to talk about her journey from writing code to building a company that underpins health care delivery around the world.
Read more: cs.wisc.edu/2026/02/25/a-cla…
UW–Madison Computer Sciences retweeted
Within just a semester of opening, the Rebecca M. Blank Student Commons inside Morgridge Hall has become one of the most popular student spaces for learning, collaboration, and events on the @UWMadison campus.
cdis.wisc.edu/an-uncommon-sp…
Photos: Bruce Damonte, Jeff Miller.
UW–Madison Computer Sciences retweeted
A team of @UWMadison computer scientists is pioneering a new approach to health monitoring: using radar to measure breathing and heart rate without physical contact. Their system could help make care safer for even the tiniest patients.
@WisconsinCS ow.ly/ysqK50Y4ZIk
UW–Madison Computer Sciences retweeted
Congratulations to Dan Ludois from @UWMadisonECE @UWMadEngr and Guri Sohi from @WisconsinCS @uwcdis on being named @AcadofInventors fellows! #WisconsinInnovates news.wisc.edu/uw-faculty-mem…
UW–Madison Computer Sciences retweeted
Congratulations to @UWMadisonECE Professor Daniel Ludois and @WisconsinCS Professor Guri Sohi, who were both named #NAIFellows!
Read more about their research and innovation that was recently recognized by @AcadofInventors ⏬
news.wisc.edu/uw-faculty-mem…
UW–Madison Computer Sciences retweeted
A @ivo_pfaffen le gustó tanto el libro de Sistemas Operativos que usamos en @famaf_unc que se lo mandó a @RArpaciDusseau para que se lo firme en la @WisconsinCS.
#OSTEP #OS
UW–Madison Computer Sciences retweeted
Today, UW Board of Regents approved a proposal to reorganize @uwcdis into a standalone college, a critical step toward creating a College of Computing and Artificial Intelligence. This begins several months of engagement with stakeholders across campus. news.wisc.edu/uw-board-of-re…
UW–Madison Computer Sciences retweeted
I’ll be at #NeurIPS2025 (12/3-12/8) representing SprocketLab at @WisconsinCS and @SnorkelAI. If you’re coming and want to chat about data-centric AI, data development, agents, or foundation models, reach out!
UW–Madison Computer Sciences retweeted
Mohit Gupta is developing the next generation of computer vision systems. #WARF100 @uwchancellor @WisconsinCS @uwcdis warf.org/commercialize/uw-ma…
UW–Madison Computer Sciences retweeted
Wisconsin-Madison CS is recruiting faculty for natural language processing!
jobs.wisc.edu/jobs/assistant…
UW–Madison Computer Sciences retweeted
Morgridge Hall is more than just the new home of @uwcdis — it's also the first time researchers from CS, @UWMadiSchool, and @UWMadisonSTATS are innovating under one roof.
Already, researchers are finding that the ultra-modern space is "paying dividends":
cs.wisc.edu/2025/10/30/cs-mo…
UW–Madison Computer Sciences retweeted
Are soccer-playing droids the future of robotics?
To @JosiahHanna, “the beautiful game” is ideal for training intelligent robots of the future — ones capable of reasoning, decision-making, and bending it like Beckham.
Learn more: cs.wisc.edu/2025/11/11/josia…
UW–Madison Computer Sciences retweeted
The second nominee for the 2025 WARF Innovation Awards is Ming Liu from @WisconsinCS @uwcdis, who designed a system that improves how computers manage powerful GPUs by dynamically sharing and scheduling resources as tasks change. #WisconsinInnovates youtu.be/1KHL1IdLIS8




























