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 have graduated as a Ph.D. student in the group. My main research interests are:
- Algorithmic Learning
- Differential Privacy
- Formal Verification
Tools
Education
- Sept. 2016 – May 2022: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2012 – Jun. 2016: Information Engineering (Elite Class) (Bachelor’s degree) at South China University of Technology
Publications
- : Model checking differentially private properties. In Theor. Comput. Sci. 943:153-170, 2023. DOI BIB
- : Verifying Pufferfish Privacy in Hidden Markov Models. In Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings, volume 13182 of Lecture Notes in Computer Science, pages 174-196, 2022. DOI BIB
- : Formal Verification of Consensus in the Taurus Distributed Database. In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, volume 13047 of Lecture Notes in Computer Science, pages 741-751, 2021. DOI BIB
- : A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. In Inf. Comput. 281:104678, 2021. DOI BIB
- : Model Checking Differentially Private Properties. In Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, volume 11275 of Lecture Notes in Computer Science, pages 394-414, 2018. DOI BIB
- : A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees. In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, volume 10205 of Lecture Notes in Computer Science, pages 208-226, 2017. DOI BIB