Xinyu Wang
@xwangsd
Followers
1K
Following
4K
Media
22
Statuses
1K
assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Ann Arbor, MI
Joined May 2020
“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. https://t.co/veXpk6X6zP
1
5
11
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: https://t.co/WD0dcIDWVR
#UMichCSE #GoBlue
31
28
279
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE
nsf.gov
CISE Distinguished Lecture Series
1
5
32
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! https://t.co/xJUezlgPtJ
1
1
38
@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:
1
11
33
🚨 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: https://t.co/T6055UX7OK
0
16
52
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: https://t.co/iHEQC8h7Tu
0
26
145
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! https://t.co/haLE8jiS4Q
littmania.com
Context: In my time as division director of Information and Intelligent Systems (IIS) at NSF, I sent out a short message to the IIS mailing list on the Second Tuesday Every Month (STEM). More or...
2
6
36
RIP
Will miss him, a great scientist with work spanning architecture, PL, and formal methods, and a wonderful person; RIP https://t.co/rmk0dzbuBx
0
0
1
A beautiful sunrise view of North Campus from the Beyster building balcony, courtesy of a CSE staff member @UMengineering
0
5
19
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:
docs.google.com
Addressing the Declining Relevance Of DB Research Peter Boncz CWI I decided to give this talk at SIGMOD2023 as I found few interesting papers. Actually, surprisingly many of the attendees of this...
7
25
102
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🙏.
1
18
43
After PLDI deadline, doing okay! (This is Michigan CSE building from the other side.)
1
1
35
Program synthesis for the win!
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! https://t.co/pta9DRE50v
0
0
2
Full house!
We've got a super interesting program for MWPLS 2023 tomorrow in Ann Arbor! Excited to meet everyone! https://t.co/xPNSAgfU3n
3
3
44
We've got a super interesting program for MWPLS 2023 tomorrow in Ann Arbor! Excited to meet everyone! https://t.co/xPNSAgfU3n
mwpls2023.engin.umich.edu
2
10
36
