Research Area

Currently my research interests mainly lie in software theory and formal methods. My work include coordination models and languages, coalgebra theory and its application, model checking, theorem proving, software testing, cyber-physical systems, service-oriented and cloud computing, modeling and verification of blockchain and smart contracts, big data analysis, theoretical foundations of machine learning and deep learning and their application in formal verification. If you want to know more about my research or join my group as a Postdoc, graduate student (master or PhD) or undergraduate intern, please feel free to contact me.

Back to top

Projects

    Some Ongoing projects:

  • 2022-2025,Trustworthiness Assurance of Deep Learning Systems, NSFC (PI)
  • 2022-2025,Research on Key Technologies of Two-Layers Integrated Secure High Performance Blockchain Smart Contract Language, National Key R&D Plan (Sub-project Leader)
  • 2022-2023, Mediator-based Protocol-oriented Modeling Language Design and Tool Implementation, CCF-Huawei Populus Grove Fund Project (PI) 
  • Some finished projects:

  • 2021-2022,  Formal Modeling and Verification of Large-Scale Deep Learning Systems, CCF-Huawei Formal Verification Innovation Research Plan (PI)
  • 2019-2021,Trustworthy Deep Learning: Theories and Technologies, Guangdong Science & Technology Department key project (Sub-project Leader)
  • 2018-2021,Formal Modeling and Verification of Complex Concurrent Behavior in Cyber-Physical Systems, NSFC (PI)
  • 2016-2020,Model Checking Large-Scale Probabilistic Concurrent Real-time Systems, NSFC
  • 2018-2019,Modeling and Verification of Security in Smart Contracts. Collaboration with Industry (PI)
  • 2017-2018,Big Data Analysis in Public Security, Collaboration with Industry (PI)
  • 2015-2018,Quantitative Analysis Techniques for Probabilistic and Hybrid Systems, Sino-German Center
  • 2013-2016,Separation Logic Foundations of Object-Oriented Programs, NSFC
  • 2013-2015,Reo-based Coordination Theory and its Application in Cyber-Physical Systems Development Methods (COSMOS), NSFC(PI)
  • 2013-2015,Modeling and Verification of Reo-based Real-time and Hybrid Connectors (MONDAY), Doctoral Program of Higher Education of China(PI)
  • 2011-2012,Component Software QoS Verification and Testing Methodology, ISCAS Open project(PI)
  • 2008-2010,Compliance-driven Models, Languages, and Architectures for Services,EU FP7
  • 2008-2010,Synthesis and Analysis of Component Connectors (SYANCO),DFG-NWO
  • 2006-2010,Coordination with Performance Guarantees (CooPer),NWO
  • 2005-2006,Tools and Techniques for Model Based Software Debugging,Singapore A*STAR
  • 2005-2007,Coalgebra and its Applications in Software Methodology,NSFC
  • 2005-2007,Formal Foundations for Component-based Programming,China-Portugal Bilateral Project

Back to top

Selected Publication in the Past 5 Years (A Complete Publication List)

  1. Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. in Proceedings of AAAI 2021, pages 11699-11707, 2021. (CCF A, joint work with Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma and Yang Liu)
  2. Mediator: A Component-based Modeling Language for Concurrent and Distributed Systems. Science of Computer Programming, vol. 192, 2020. (CCF B, joint work with Yi Li and Weidi Sun)
  3. Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. in Proceedings of ICSE 2020, pages 739-751, ACM, 2020. (CCF A, joint work with Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu and Jianjun Zhao)
  4. A Formal Framework Capturing Real-Time and Stochastic Behavior in Connectors. Science of Computer Programming,vol. 177, pages 21-40, 2019. (CCF B, joint work with Yi Li, Xiyue Zhang, Yuanyi Ji. This is an extended version of the SBMF 2017 paper, which got the Best Paper Award at the conference.) 
  5. A Formal Specification and Verification Framework for Timed Security Protocols. in IEEE Transactions on Software Engineering, vol. 44(8), pages 725-746, 2018. (CCF A, joint work with Li Li, Jun Sun, Yang Liu and Jinsong Dong)

Back to top

Activities

  • Executive Committee Member of CCF-TCFM(2016-)
  • Executive Committee Member of CSIAM Financial Technology and Algorithms Professional Committee(2022-)
  • Member of CSIAM Blockchain Professional Committee(2020-)
  • Associate Editor: Frontiers in Computer Science (Section Theoretical Computer Science, 2021.3-)
  • Journal Editorial Board Member:Frontiers in Computer Science (2019-2021), Frontiers in ICT (2015-2019) and Frontiers in Applied Mathematics and Statistics (2015-2018)
  • PC member, DSAI 2023, Bangkok, Thailand, November, 2023
  • PC member, ICFEM 2023, Brisbane, Australia, November, 2023
  • PC member, FACS 2023, Virtually, October, 2023
  • SC member, AILA 2023, Changchun, China, August, 2023
  • PC Co-chair, TASE 2023, Bristol, UK, July, 2023
  • PC member, ICSI 2023, Shenzhen, China, July, 2023
  • PC member, SEKE 2023, San Francisco Bay, USA, July, 2023
  • PC member, Coordination 2023, Lisbon, Portugal, June, 2023
  • PC member, ICECCS 2023, Toulouse, France, June, 2023
  • PC member, FSEN 2023, Tehran, Iran, May, 2023
  • PC member, International Conference on Artificial Intelligence, Blockchain, and Financial Technology, Zhuhai, April, 2023
  • PC member, BSC 2022, Guangzhou, China, December, 2022
  • PC member (Tracj on Constraint Solving and Theorem Proving), CCF ChinaSoft 2022, Shanghai, China, November, 2022
  • PC member, SETTA 2022, Beijing, China, October, 2022
  • PC member, ICFEM 2022, Madrid, Spain, October, 2022
  • PC member, FMBC 2022, Haifa, Israel, August, 2022
  • PC member, TASE 2022, Cluj, Romania, July, 2022
  • PC member, SEKE 2022, San Francisco Bay, USA, July, 2022
  • PC member, LCA 2022, Aveiro, Portugal, June, 2022
  • PC member, Coordination 2022, Lucca, Italy, June, 2022
  • PC member, ICECCS 2022, Hiroshima, Japan, March, 2022
  • Track Chair (Track on Formal Methods and Applications) and PC member (Track on Theories and Applications of Theorem Proving): CCF ChinaSoft 2021, Xi'an, China, November, 2021
  • PC member: MEMOCODE'21, Virtual, November, 2021
  • PC member: FM 2021 Doctoral Symposium, Virtual, November, 2021
  • PC member: SETTA'21, Beijing, China, November, 2021
  • Publicity Chair: ATVA'21, Gold Coast, Australia, October, 2021
  • PC Co-chair: MLiSE 2021, Virtual, September, 2021
  • PC member: TASE'21, Shanghai, China, August, 2021
  • PC member: FMBC'21, Los Angeles, USA, July, 2021
  • PC member: SEKE'21, San Francisco Bay, USA, July, 2021
  • PC member: Coordination'21, Valletta, Malta, June, 2021
  • PC member: FSEN'21, Tehran, Iran, May, 2021
  • Track Chair(Track on Formal Methods Education)and PC member: CCF ChinaSoft 2020, Chongqing, China, November, 2020
  • Local Organization Chair and PC member: SETTA'20, Guangzhou, China, November, 2020
  • PC member: KEOD'20, Budapest, Hungary, November, 2020
  • PC member: ICFEM'20, Singapore, November, 2020 (postponed to March, 2021 due to COVID-19)
  • PC member: ICECCS'20, Singapore, October, 2020 (postponed to March, 2021 due to COVID-19)
  • PC member: GAUSS'20, Coimbra, Portugal, October, 2020
  • PC member: SEFM'20, Amsterdam, the Netherlands, September, 2020
  • PC member: FOCLASA'20, Amsterdam, the Netherlands, September, 2020
  • PC member: ASYDE'20, Amsterdam, the Netherlands, September, 2020
  • PC member: QEST'20, Vienna, Austria, August-September, 2020
  • Track Chair: IJTCS'20, Beijing, China, August, 2020
  • PC member: FMBC'20, Los Angeles, USA, July, 2020
  • PC member: TASE'20, Hangzhou, China, July, 2020
  • PC member: SEKE'20, Pittsburgh, USA, July, 2020
  • PC member: Coordination'20, Valletta, Malta, June, 2020
  • PC member: FormaliSE'20, Seoul, Korea, May, 2020
  • PC member: FMAC'19, Shanghai, China, November, 2019
  • PC member: ICECCS'19, Hong Kong, China, November, 2019
  • PC member: ICFEM'19, Shenzhen, China, November, 2019
  • PC member: AI&FM'19, Shenzhen, China, November, 2019
  • PC member: NASAC'19 (SYSCONSTRCUT Track), Hangzhou, China, November, 2019
  • PC member: GAUSS'19, Berlin, Germany, October, 2019
  • PC member: FM'19, Porto, Portugal, October, 2019
  • PC member: FOCLASA'19, Oslo, Norway, September, 2019
  • PC member: ASYDE'19, Oslo, Norway, September, 2019
  • PC member: TASE'19, Guilin, China, July, 2019
  • PC member: SEKE'19, Lisbon, Portugal, June, 2019
  • PC member: Coordination'19, Lyngby, Denmark, June, 2019
  • PC member: FSEN'19, Tehran, Iran, May, 2019
  • PC member: TACAS'19, Prague, Czech Republic, April, 2019
  • PC member: MLCSB'18, Santiago, Chile, December, 2018
  • PC Co-chair: ICFEM'18, Gold Coast, Australia, November, 2018
  • PC member: SDLT'18, Gold Coast, Australia, November, 2018
  • PC member: FMAC'18, Chongqing, China, November, 2018
  • PC member: YR-FMAC'18, Chongqing, China, November, 2018
  • PC member: FACS'18, Pohang, Korea, October, 2018
  • PC member: FORMATS'18, Beijing, China, September, 2018
  • Publicity Chair: CONCUR'18, Beijing, China, September, 2018
  • Organizer: CAP 2018, Beijing, China, September, 2018
  • PC member: SEKE'18, San Francisco, USA, July, 2018
  • PC member: FOCLASA'18, Toulouse, France, June, 2018
  • PC member: YR-SETTA'17, Changsha, China, October, 2017
  • PC member: FMAC'17, Changsha, China, October, 2017
  • PC member: FACS'17, Braga, Portugal, October, 2017
  • Organization Co-Chair, MAVeLoS'17, Beijing, China, October, 2017
  • PC member: EGOSE'17, St. Petersburg, Russia,September, 2017
  • PC member: FOCLASA'17, Trento, Italy, September, 2017
  • Organizer: CAP 2017, Heidelberg, Germany, July, 2017
  • PC member: SEKE'17, Pittsburgh, USA, July, 2017
  • PC member: FSEN'17, Tehran, Iran, April, 2017
  • Organizer: PKU Forum on Theoretical Frontiers of Information Science, Beijing, China, November, 2016
  • PC member: EGOSE'16, St. Petersburg, Russia, November, 2016.
  • PC member: FMAC'16, Beijing, China, November, 2016
  • PC member: YR-SETTA'16, Beijing, China, November, 2016
  • PC member: DTGS'16, St. Petersburg, Russia, June, 2016
  • PC member: Coordination'16, Heraklion, Greece, June, 2016
  • PC member: UTP'16, Reykjavik, Iceland, June, 2016
  • PC member: YR-SETTA'15, Nanjing, China, November, 2015
  • PC member: FOCLASA'15, Madrid, Spain, September, 2015
  • PC member: FM 2015 Doctoral Symposium, Oslo, Norway, June, 2015
  • PC member: FSEN'15, Tehran, Iran, April, 2015
  • PC member: FOCLASA'14, Rome, Italy, September, 2014
  • PC member: FACS'14, Bertinoro, Italy, September, 2014
  • PC member: UTP'14, Singapore, May, 2014
  • PC member & Publicity Chair: FACS'13, Nanchang, China, October, 2013
  • PC member: FSEN'13, Tehran, Iran, April, 2013
  • PC member: FACS'12, Mountain VIew, USA, September, 2012
  • PC member: UTP'12, Paris, France, August, 2012
  • PC member: TASE'12, Beijing, China, July, 2012
  • PC member: Coordination'12, Stockholm, Sweden, June, 2012
  • PC member: UML&FM 2012, Paris, France, July, 2012
  • PC member: UML&AADL 2012, Paris, France, July, 2012
  • PC Co-chair: TTSS'11, Oslo, Norway, September, 2011
  • PC member and SC member: FACS'11, Oslo, Norway, September, 2011
  • PC member: ICFEM'11, Durham, UK, October, 2011
  • PC member: Coordination'11, Reykjavik, Iceland, June, 2011
  • PC member & Publicity Chair: UML&AADL 2011, Las Vegas, USA, April, 2011
  • PC member: UML&FM 2011, Lero, Limerick, Ireland, June, 2011
  • PC member: FSEN'11, Tehran, Iran, April, 2011
  • PC member: UTP'10, Shanghai, China, November, 2010
  • PC member: TTSS'10, Shanghai, China, November, 2010
  • PC member & Publicity Chair: UML&FM 2010, Shanghai, China, November, 2010
  • PC member and SC member: FACS'10, Guimaraes, Portugal, October, 2010
  • PC member & Publicity Chair: UML&AADL 2010, Oxford, UK, March, 2010
  • Organization Chair of the SYANCO winter school, Berlin, Germany, February, 2010
  • PC Co-Chair and SC member: FACS'09, Eindhoven, the Netherlands, November, 2009
  • PC member & Publicity Chair: UML&FM 2009, Rio de Janeiro, Brasil, December, 2009
  • PC member & Publicity Chair: UML&AADL 2009, Potsdam, Germany, June, 2009
  • PC member: FCST'09, Shanghai, China, October, 2009
  • PC member: TTSS'08, Nanjing, China, June, 2008
  • PC member: TTSS'07, Macau, China, September, 2007
  • Publicity Chair: TASE'07, Shanghai, China, June 2007
  • PC member: FACS'06, Prague, Czech Republic, September, 2006
  • PC member: FACS'05, Macau, China, October, 2005
  • External Reviewer of Conferences: ICFEM'02, ICFEM'03, FACS'03, SEFM'05, ICTAC'05, ICFEM'05, LOPSTR'05, ICDCIT'05, ICSE'06, SAC'06(Track SV), FSEN'07, ICTAC'07, FM'08, Coordination'08, AMAST'08, SBLP'08, WS-FM'08, HASE'08, SAC'09(Track CM), FSEN'09, ICFEM'09, SBMF'12, ICTAC'14, ICTAC'16, FM'16, Chinasoft'22 (Track FMAC)
  • Journal Reviewer(2023): ACM Transactions on Software Engineering and Methodology, Journal of Logical and Algebraic Methods in Programming, Journal of Systems Architecture, Artificial Intelligence Security
  • Journal Reviewer(2022): Science of Computer Programming, Formal Aspects of Computing, Journal of Systems Architecture, Journal of Logical and Algebraic Methods in Programming, Journal of Software,Artificial Intelligence Security
  • Journal Reviewer(2021): ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, Theoretical Computer Science, Formal Aspects of Computing, Journal of Computer Science and Technology, Frontiers of Information Technology & Electronic Engineering, Innovations in Systems and Software Engineering, Science in China, Journal of Software
  • Journal Reviewer(2020): Formal Aspects of Computing, Science of Computer Programming, International Journal on Software Tools for Technology Transfer, Journal of Computer Science and Technology, Frontiers of Computer Science, Frontiers of Information Technology & Electronic Engineering, Internatioanl Journal on Software Engineering and Knowledge Engineering, Microprocessors and Microsystems
  • Journal Reviewer(2019 and before): ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Reliability, Internatioanl Journal on Software Engineering and Knowledge Engineering, Software and System Modeling, Formal Aspects of Computing, Journal of Logical and Algebraic Methods in Programming, Theoretical Computer Science, Science of Computer Programming, Theoretical Informatics and Applications, Fundamenta Informaticae, International Journal of Computer Systems Science and Engineering, Science in China,Journal of Software,Journal of South China University of Technology .

Back to top

Useful Links

Back to top