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.
- 8 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
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 Access
File
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 Access
File
AI to enhance interactive simulation-based training in resuscitation medicine
Brisk, R., Bond, RR., Liu, J., Finlay, D., McLaughlin, J. & McEneaney, D., 10 May 2018, (Accepted/In press) p. 1-4. 4 p.Research output: Contribution to conference › Paper
Open Access
File
A joint optimization method on parameter and structure for belief-rule-based systems
Yang, L., Wang, Y., Liu, J. & Martinez, L., 15 Feb 2018, In : Knowledge-Based Systems. 142, 15, p. 220-240 21 p.Research output: Contribution to journal › Article
13
Citations
(Scopus)
A Micro-Extended Belief Rule-Based System for Big Data Multi-Class Classification Problems
Yang, L., Liu, J., Wang, Y. & Martinez, L., 28 Oct 2018, (Accepted/In press) In : IEEE Transactions on Systems, Man, and Cybernetics: Systems. p. 1-21Research output: Contribution to journal › Article
Open Access
File
7
Citations
(Scopus)
26
Downloads
(Pure)