Cheng Tan

(he/him/his)

Assistant Professor

Cheng Tan
  • Computer systems
  • Systems and networking
  • Security
  • Operating systems
  • PhD in Computer Science, New York University
  • MS in Software Engineering, Fudan University — China
  • BE in Software Engineering, Nanjing University — China

Cheng Tan is an assistant professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston.

Tan's research interests are in systems and security, with a focus on building verifiable outsourced services and certified neural networks for systems. His work has earned him the SOSP Best Paper Award and the Janet Fabri Prize for Outstanding Dissertation.

Before joining Khoury College in 2021, Tan was a research scientist at ByteDance Inc.'s AI Lab.

  • Encrypted Databases Made Secure Yet Maintainable

    Citation: Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan , Huorong Li, Sheng Wang , Zeyu Mi, Yubin Xia, Feifei Li , Haibo Chen . (2023). Encrypted Databases Made Secure Yet Maintainable OSDI, 117-133. https://www.usenix.org/conference/osdi23/presentation/li-mingyu

  • Building verified neural networks with specifications for systems

    Citation: Cheng Tan, Yibo Zhu, and Chuanxiong Guo. 2021. Building verified neural networks with specifications for systems. Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems. Association for Computing Machinery, New York, NY, USA, 42–47. DOI:https://doi.org/10.1145/3476886.3477508