• Shore Road, Jordanstown Campus

    BT37 0QB Newtownabbey

    United Kingdom

  • 2311 Citations
  • 24 h-Index

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile


Dr Jun Liu is currently a Reader in Computer Science, a full member of Artificial Intelligence Research Group (AIRG) at Computer Science Research Institute. Before he joined Ulster University, he was a Postdoctoral Research Associate 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) knowledge-centralized data analytics under uncertainty for sensing decision making, with applications in management, engineering, and industry field etc. (e.g., safety and risk analysis; policy decision making; security/disaster management; and heath care and smart home); 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 has over 150 publications in these areas.

He has been a grant holder of several national and international research projects. He serves as an Associate Editor of IEEE Transaction on Fuzzy Systems, an Associate Editor of Knowledge-Based Systems, and 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 Senior member of the IEEE and chairs the IEEE System, Man and Cybernetic (SMC) Society UK&Ireland Chapter (SMC28). He serves as chairs or co-chairs and program committees of a number of international conferences and workshops.

He is a Fellow of the UK Higher Education Academy, and teaches at both undergraduate and postgraduate level.




Fingerprint Dive into the research topics where Jun Liu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Focused Random Walk with Probability Distribution for SAT with Long Clauses

Fu, H., Liu, J. & Xu, Y., 3 Aug 2020, In : Applied Intelligence.

Research output: Contribution to journalArticle

  • Improving WalkSAT for Random 3-SAT Problems

    Fu, H., Chen, S., Xu, Y. & Liu, J., 28 Feb 2020, In : Journal of Universal Computer Science. 26, 2, p. 220-243 24 p.

    Research output: Contribution to journalArticle

    Open Access
  • 2 Downloads (Pure)

    Within-class Multimodal Classification

    Wan, H., Wang, H., Scotney, B., Liu, J. & Ng, W., 22 Jun 2020, (Accepted/In press) In : Multimedia Tools and Applications.

    Research output: Contribution to journalArticle

    α -Paramodulation method for a lattice-valued logic L nF(X) with equality

    He, X., Xu, Y., Liu, J. & Li, Y., 15 Jul 2020, In : Soft Computing.

    Research output: Contribution to journalArticle

  • CSE_E 1.0: An integrated automated theorem prover for first-order logic

    Cao, F., Xu, Y., Liu, J., Chen, S. & Ning, X., 8 Sep 2019, In : Symmetry. 11, 9, p. 1 15 p., 1142.

    Research output: Contribution to journalArticle

    Open Access
  • 1 Downloads (Pure)