Depeng Liu (刘德鹏)’s Homepage


  • Office: 621, Room 339, Building 5
  • Address:South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email:liudp###ios**ac*cn

About me

I am currently a Ph.D. student in the group. My main research interests are:

  • Algorithmic Learning
  • Differential Privacy
  • FormalVerification




  • Verifying Pufferfish Privacy in Hidden Markov Models. Depeng Liu, Bow-Yaw Wang and Lijun Zhang, to appear in VMCAI 2022
  • Formal Verification of Consensus in the Taurus Distributed Database. Song Gao, Bohua Zhan, Depeng Liu,Xuechao Sun, Yanan Zhi, David N. Jansen and Lijun Zhang, FM 2021
  • Model Checking Differentially Private Properties. Depeng Liu, Bow-Yaw Wang, Lijun Zhang, APLAS 2018: 394-414,
  • A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees, Li, Y.; Chen, Y.-F.; Zhang, L. and Liu, D. In TACAS, pages 208-226, LNCS 10205, 2017.


  • A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Yong Li, Yu-Fang Chen, Lijun Zhang and Depeng Liu, Information and Computation. 2020, 104678, ISSN 0890-5401