Subscribe to our newsletter

Dr Kemin Wang

Computer Science

Communication University of China

Kemin Wang is a computer scientist in the research areas of formal verification, probabilistic/stochastic model checking and currently works as an associate professor at the School of Computer Science, Communication University of China, Beijing. He earned his PhD in communication and information systems from Communication University of China and has been conducting research and teaching there since 2005. He was also a visiting scholar in informatics at the Technical University of Denmark from January 2012 to January 2013 and a postdoctoral research fellow at Department of Computer Science, University of Saskatchewan, Canada, from August 2016 to January 2017.

His teaching interests include logic and computer design fundamentals, computer organisation and design, introductions to model checking, computational journalism, and computing jistory. His current research topics focus on stochastic model checking, equilibrium analysis of discrete event systems, and correlation between critical news events and exponential growth.