Contact
- 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
Tools
Education
- 9/2016 – present:D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciencesand University of Chinese Academy of Sciences
- 9/2012 – 6/2016:Information Engineering(Elite Class) (Bachelor’s degree) at South China University of Technology
Conferences
- 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.
Journals
- 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