🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

At #ICCV23 at Paris — email me if you want to catch up or chat about research! I'm looking for PhD students, PostDocs, and Visitors at University of Michigan. For PhD, please see details on my website. For PostDocs, seeking a candidate with Machine Learning or Comp. Neuroscience background.

We've got a super interesting program for MWPLS 2023 tomorrow in Ann Arbor! Excited to meet everyone! mwpls2023.engin.umich.edu

Full house!

MWPLS was a blast! Huge shoutout to the organizers at UM: Xinyu Wang, Cyrus Omar (now mainly on bsky), Max New, and Jean-Baptiste Jeannin

Surprisingly it's close to 20C (70F) today!

Program synthesis for the win!

After PLDI deadline, doing okay! (This is Michigan CSE building from the other side.)

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 Computer Science and Engineering at Michigan's PhD program and mention me in your app! RTs greatly appreciated🙏.

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

A beautiful sunrise view of North Campus from the Beyster building balcony, courtesy of a CSE staff member Michigan Engineering

RIP

Come work with us!

If you're an NSF PI (or aspirant) not in AI, you probably don't know that Michael Littman 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…

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/pro…

🚨 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/faculty-…

Anders Møller 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/bhnrKuAqJEKFGm…

My colleague Tom Doeppner retired after 49 years of teaching at Brown CS. 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=2254Br…