E-mail: mingkai.li@columbia.edu CV Google Scholar Social Media: GitHub, LinkedIn and Twitter

About Me

I am a 1st year Ph.D. student at Columbia University, advised by Prof. Tanvir Ahmed Khan. My research focuses on the intersection of computer systems and security. I am broadly interested in building secure and reliable systems, as well as understanding the security implications of emerging technologies.

I received my B.Eng. in Computer Science from University of Science and Technology of China (USTC). Before joining Columbia, I worked as a research intern at the security lab of National University of Singapore, where I worked with Prof. Prateek Saxena.

Education

• Columbia University, Ph.D. student
  Advisor: Tanvir Ahmed Khan, 2024 - present

• University of Science and Technology of China (USTC), B.Eng.
  Advisor: Xianghang Mi, 2019 - 2023

Work Experience

• National University of Singapore, Security Lab
  Research Intern, Capstone Project, Mentor: Prateek Saxena, 2023.01 - 2024.05

Publications

First-author

(Hopefully soon)

Collaborative

• TransMap: Pinpointing Mistakes in Neural Code Translation [pdf] [code]
  Bo Wang, Ruishi Li, Mingkai Li, Prateek Saxena
  The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023

Teaching

• CSEE 4119: Computer Networks (with Prof. Ethan Katz-Bassett ), Teaching Assistant, Fall 2024