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.