Guanjun Liu (Senior Member, IEEE) received a Ph.D. degree in computer software and theory from Tongji University, Shanghai, China in 2011. He was a Postdoctoral Research Fellow with the Singapore University of Technology and Design, Singapore, from 2011 to 2013, and a Postdoctoral Research Fellow with the Humboldt University of Berlin, Berlin, Germany, from 2013 to 2014, supported by the Alexander von Humboldt Foundation. He is currently a Professor with the Department of Computer Science, Tongji University. He has authored over 130 papers and three books. His research interests include Petri net theory, model checking, machine learning, cyber–physical systems, workflow, and credit card fraud detection.