Juan Carlos Nieves Sánchez

Contact information

  I am an associate professor (Docent) and a senior researcher (in Theoretical Foundations of Artificial Intelligence) at the Department of Computing Science, Umeå University (UMU) (Sweden). I am founder and leader of the Formal Methods for Trustworthy Hybrid Intelligence group, and an affiliated member of the Responsible Artificial Intelligence group.




Research Interests:


April, 2018: Docent in Computer Science

                Faculty of Science and Technology, Umeå University, Umeå, Sweden

Nov, 2008: Ph. D. in Artificial Intelligence - (The Mathematics Genealogy Project )

                Universitat Politècnica de Catalunya - BarcelonaTech (UPC),  Barcelona, Spain

June, 2006: Diploma of Advanced Studies on Artificial Intelligence

                Universitat Politècnica de Catalunya - BarcelonaTech (UPC),  Barcelona, Spain


Teaching for university students and professionals

Tutorials in international conferences

Current PhD students

Past PhD students

  • Roberto Confalonieri: The Role of Preferences in Logic Programming: Nonmonotonic Reasoning, User Preferences, Decision under Uncertainty. In the Artificial Intelligence Ph.D. program of Universitat Politècnica de Catalunya, Spain, December 2011, (Co-adviser Javier Vázquez-Salceda )
  • Esteban Guerrero Rosero: Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach. In the Computer Science Ph.D. program of Umeå University, Sweden, June 2016, (Co-adviser Helena Lindgren )
  • Chunli Yan: Developing digital support for learning and diagnostic reasoning in clinical practice. In the Computer Science Ph.D. program of Umeå University, Sweden, September 2018, (Co-adviser Helena Lindgren )
  • Timotheus Kampik: Principle-based non-monotonic reasoning - from humans to machines. In the Computer Science Ph.D. program of Umeå University, Sweden, April 2022, (Co-adviser Helena Lindgren )

Ongoing Research Projects: list of projects

Past Research Projects

    Project: A European AI On Demand Platform and Ecosystem.
    Project type: H2020 AI4EU - European Cooperation in Science and Technology

    Project: The Kempe Foundations - Autonomous systems that recognise, explain, and predict complex human activities (2017-2019).
    Project type: The Kempe Foundations, Research foundation.

    Project: Nordic Telemedicine Center - The aim of the project is to establish a multi professional competence center in telemedicine to gather knowledge and increase mutual learning among health-care staff, researchers and companies (2015-2018).
    Project type: Botnia-Atlantica, European Regional Development Fund.

    Project: ACKTUS - Activity-Centred Modelling of Knowledge and Interaction Tailored to Users.
    Project type: Swedish Research Project.

    Project: SMARTGRID- ENERGOS - Technologies for automated and intelligent management of power distribution networks of the future (2010-2012).
    Project type: CENIT project.

    Project: PARKINECTIS - Electromobility Living Lab - Accelerating knowledge acquisition about electric vehicle.
    Project type: Industrial Research Project (ACC1Ó program of the government of Catalunya-Spain)

    Project: Management of Urban Wastewater Systems.
    Project type: Local Project supported by KEMLG (UPC) and LIQUIA (University of Girona).

    Project: ALIVE - Coordination, Organisation and Model Driven Approaches for Dynamic, Flexible, Robust Software and Services Engineering (2008-2010).
    Project type: European Project.

    Project: ASPIC - Argumentation Service Platform with Integrated Components (2004-2007).
    Project type: European Project.


Regular reviewer of the following journals