Research Output per year
Research Output per year
Personal profile
Biography
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. p. 1-22 22 p.Research output: Contribution to journal › Article
-
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 journal › Article
Open AccessFile4 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 journal › Article
-
α -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 journal › Article
-
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 journal › Article
Open AccessFile2 Downloads (Pure)
Prizes
-
Ulster University, best computer science paper published within academic year of 2016
Rafferty, Joseph (Recipient), Nugent, Christopher (Recipient), Liu, Jun (Recipient) & Chen, Liming (Luke) (Recipient), Jan 2017
Prize