Cheng Tan

Cheng Tan is an Assistant Professor at the Khoury College of Computer Sciences, Northeastern University, and a member of the Systems Research Group. His research focuses on computer systems, with an emphasis on verifying outsourced services, including ML systems, concurrent systems, and execution on untrusted servers.

• Ph.D. in Computer Science from Courant Institute, NYU (2020), advised by Michael Walfish.
• M.S. and B.E. from Fudan University and Nanjing University, respectively.

Cheng Tan's research explores verification mechanisms for systems relying on machine learning and untrusted environments. Key areas include ML system robustness, consistency models, and secure execution. His work addresses challenges in trusted computing, such as adversarial attacks, encrypted databases, and decentralized services.

His recent publications span conferences like SOSP, ASPLOS, NeurIPS, and EuroSys. Common themes include neural network verification, secure systems, and concurrency control. These studies often leverage formal methods to ensure correctness in complex environments.

• Scientific Awards: MSR Asia StarTrack Scholar (2024), ASPLOS Distinguished Artifact Award (2023), NSF CAREER Award (2023), NYU Janet Fabri Prize (2021), SOSP Best Paper Award (2017).

Cheng Tan advises PhD students Jian Zhang, Brent Zhao, Shuyi Lin, and Zikai Wang. He has taught courses such as LLM systems (CS7670), Operating Systems Implementation (CS6640), and Computer Systems (CS3650, CS5600). He also serves on program committees for conferences like OSDI, MLSys, and ATC.