Tianyu Li

About

I am a final year PhD student at MIT DSG working with Prof. Samuel Madden). My research focuses on designing strong abstractions for stateful cloud systems to unlock developer productivity and infrastructure innovation. Before joining MIT, I worked with the infamous Andy Pavlo in CMU, where I received my bachelor's and master's degree in computer science. I am on the academic job market this year! 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