Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Published several papers, including 'An Implementation for Mapping SBML to BioSPI' and 'Grid Service and JCA: An Effective Integration Strategy'.
Research Experience
Currently an associate professor at East China University of Science and Technology (ECUST). Taught courses such as Formal Semantics of Programming Languages, Communication and Concurrency, Software Engineering, among others.
Education
Obtained a BA in Computer Science from Shanghai Jiao Tong University (SJTU) in 2002; pursued an MSc under Professor You Jinyuan at SJTU-DCTC, graduating in 2005; completed PhD studies at SJTU-BASICS lab, directed by Professor Fu Yuxi, in 2008.
Background
Research interests lie in basic theories of Computer Science, particularly focusing on concurrency theory, its applications, and cryptography. Specializes in the foundational aspects of computing.
Miscellany
Sometimes kind of dizzy yet sometimes sort of ambitious.