Contact

• Office: No. 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

Tools

• Regular Omega Language Learning (ROLL)

• 9/2016 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• 9/2012 – 6/2016: Information Engineering(Elite Class) (Bachelor’s degree) at South China University of Technology

Conferences

• Depeng Liu, Bow-Yaw Wang, Lijun Zhang:
  Model Checking Differentially Private Properties. 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.