Jun Liu

Jun Liu is currently a Reader in Computer Science, a full research member of Artificial Intelligence and Applications Research Group at Computer Science Research Institute. Before he joined Ulster University, he was a Postdoctoral Research Fellow at The University of Manchester, UK (Feb. 2002 - Dec. 2004), and a Postdoctoral Research Fellow at Belgian Nuclear Research Centre (SCK*CEN) (Mar. 2000 -Feb. 2002). He received the BSc. and MSc. degrees in Applied Mathematics, and PhD. degree in Information Engineering from Southwest Jiaotong University, Chengdu, China, in 1993, 1996, and 1999, respectively.He has been working in the field of Artificial Intelligence for many years. His current research is focused on two themes: 1) Intelligent decision methodologies  using techniques from systems theory, operational research and artificial intelligence, with applications in management, engineering, and industry field etc. (e.g., safety and risk analysis; policy decision making; security/disaster management; heath care and smart home; situation awareness and emergency systems, and scenario/activity recognition); 2) logic and automated reasoning methods for intelligent systems. In particular: resolution-based automated reasoning methods, algorithm and tools with applications (including software verification and automated theorem proving); lattice-valued logics with focus on handling incomparability, inconsistency and imprecision.He serves as an Area Editor of International Journal of Computational Intelligence Systems, is also an Editor of Information Fusion Journal, Journal of Universal Computer Science, and International Journal of Knowledge and Systems Science.He is a Fellow of the Higher Education Academy, and teaches at both undergraduate and postgraduate level.