assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Joined May 2020
- Tweets 1,252
- Following 557
- Followers 1,234
- Likes 3,666
22 Photos and videos
Apr 29
anyone, without background in AND/OR(types, synthesis, LLMs, AI for code, scientific computing), interested in doing a postdoc at U of Michigan?
1
4
8
1,040
Xinyu Wang retweeted
Mar 9
RIP Tony Hoare. 😢
I only met him a couple times many years ago at MSR and was not accomplished enough at the time to have much useful to say, but he sure cast a long shadow over the field...
17
60
335
34,522
Xinyu Wang retweeted
9 Aug 2025
“How I Became a Storyteller (and How You Can Too)” — the most important talk I’ve ever given. And now, it’s yours to experience.
youtu.be/ur_YQpVgW5s
1
5
12
2,034
Xinyu Wang retweeted
8 Jul 2025
Thrilled to join the UMich faculty in 2026!
I'll also be recruiting PhD students this upcoming cycle. If you're interested in AI and formal reasoning, consider applying!
We’re happy to announce that @GabrielPoesia will be joining our faculty as an assistant professor in Fall 2026. Welcome to CSE!
▶️Learn more about Gabriel here: gpoesia.com
#UMichCSE #GoBlue
ALT Welcome to Assistant Professor Gabriel Poesia!
31
28
280
43,463
Xinyu Wang retweeted
24 Jun 2025
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE nsf.gov/events/neurosymbolic…
1
5
32
2,243
Xinyu Wang retweeted
My colleague Tom Doeppner retired after 49 years of teaching at @BrownCSDept. On his last day of class, a whole bunch of faculty and staff showed up and sang a song we made for him. You can feel the love!
youtube.com/watch?v=2254BrKY…
1
1
38
2,750
Xinyu Wang retweeted
23 Dec 2024
@amoellercsaudk and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/bhnrKuAqJEKFGmXq5
1
10
33
6,286
Xinyu Wang retweeted
🚨 CSE is hiring faculty! 🚨
Join a top 10 program where you can shape the future through the power of computing. Applicants for tenure-track positions are encouraged to apply by November 15. #UMCSE #UMich
▶️ Learn more and apply: cse.engin.umich.edu/about/fa…
15
51
6,430
Xinyu Wang retweeted
16 Jul 2024
Professor Tom Reps retires after 39 years of research and mentorship.
Dubbed "the soul of the department" by colleagues, his parting gift is a new professorship honoring late wife (and CS Professor Emerita) Susan B. Horwitz.
Get the full story: cs.wisc.edu/2024/07/16/profe…
26
142
60,640
Xinyu Wang retweeted
If you're an NSF PI (or aspirant) not in AI, you probably don't know that @mlittmancs sends out a monthly newsletter educating the community about the workings of the NSF. With a healthy dose of Littmania (jokes, puzzles, etc.). 💯 recommended!
littmania.com/courses/my-nsf…
2
6
36
4,176
28 Jun 2024
Come work with us!
28 Jun 2024
Honoured to be a distinguished reviewer @PLDI '24!
I'd like to publish more cool PL papers instead of just getting awards for reviewing them. If you're applying for PhDs & are interested in PL techniques to improve hardware design, come work with me @UMichCSE!
1
15
2,843
19 Jun 2024
RIP
18 Jun 2024
Will miss him, a great scientist with work spanning architecture, PL, and formal methods, and a wonderful person; RIP
news.mit.edu/2024/computer-s…
1
706
Xinyu Wang retweeted
A beautiful sunrise view of North Campus from the Beyster building balcony, courtesy of a CSE staff member @UMengineering
ALT Red and orange sunrise over North Campus
5
19
3,014
Xinyu Wang retweeted
20 Nov 2023
Last month the "DB Research Meeting" was held @mitcsail, hosted by Sam Madden and Natassa Ailamaki (🙏). An encounter of the who's who in data systems research.
I warned for the declining impact of DB research & pitched better incentives for system work: bit.ly/dbmeeting-boncz
7
25
102
23,748
Xinyu Wang retweeted
20 Nov 2023
I'm recruiting PhD students (again) this year! If you're interested in hardware security, formal synthesis, or the intersection of formal methods and computer architecture in general, please apply to @UMichCSE's PhD program and mention me in your app!
RTs greatly appreciated🙏.
17
41
7,458
17 Nov 2023
After PLDI deadline, doing okay! (This is Michigan CSE building from the other side.)
1
1
35
4,161
10 Nov 2023
Program synthesis for the win!
10 Nov 2023
I'm recruiting PhD students for Fall 2024 @CIS_Penn! Our lab is using ML to build the next generation of data systems.
Come build systems that automatically invent new algorithms, adapt to changing environments, and understand user intention!
rm.cab/phd
ALT The three pillars of machine programming: invention, adaption, and intention. Inventive and adaptive systems are called "instance optimized" systems. Inventive and intentional systems are "program synthesis." Adaptive and intentional systems are "auto tuning."
2
1,288
6 Oct 2023
Full house!
5 Oct 2023
We've got a super interesting program for MWPLS 2023 tomorrow in Ann Arbor! Excited to meet everyone!
mwpls2023.engin.umich.edu/
3
3
44
13,604