Jian Zhang
(he/him/his)
PhD Student
Research Interests
-
System Verification
Education
- MSc in Computer Science, The Chinese University of Hong Kong
- BEng in Software Engineering, Nanjing University
Biography
Jian Zhang is a doctoral student at the Khoury College of Computer Sciences at Northeastern University, advised by Cheng Tan. His doctoral research, which he began in 2021 and expects to complete in 2026, focuses on computer systems and verification.
Zhang previously worked as a machine learning system intern at ByteDance, the company that developed TikTok. His current project involves verifying whether a database complies with some specifications, like isolation levels.