Tianyu Li

About

I obtained my PhD from MIT working with Prof. Samuel Madden). My research focuses on designing strong abstractions for stateful cloud systems to unlock developer productivity and infrastructure innovation. Before MIT, I worked with the infamous Andy Pavlo in CMU, where I received my bachelor's and master's degree in computer science. I will be joining the UW-Madison Database Group as an assistant professor in 2026! Please reach out if you are interested in chatting.

Publications

Please see my Google Scholar Profile

Teaching

I am passionate about teaching and have TAed a number of classes:

• MIT 6.814/6.830 Database Systems, Spring 2021
• CMU 15-445 Database Systems, Fall 2018
• CMU 15-316 Software Foundations of Security and Privacy, Spring 2018
• CMU 15-414 Bug Catching: Automatic Program Verification and Testing, Fall 2017
• CMU 15-214 Principles of Software System Construction, Spring 2016, Fall 2016, Spring 2017
• CMU 15-150 Functional Programming, Fall 2015

Contact

Email: litianyu AT mit.edu

Office: 32-G904B, 32 Vassar St. Cambridge, MA 02139, USA