Skip to content

Students who have not changed their password since 7 May cannot log in to the student web. Read about how to change your password.

Main menu hidden.

Formal Methods for Trustworthy Hybrid Intelligence

Research group Hybrid intelligence emerges from the collaboration between humans and intelligent systems, with the aim of enabling humans to achieve their goals more effectively. This collaboration has numerous practical applications, such as police officers using digital sources of information to make informed decisions in risky situations, nurses improving their medication management procedures, etc.

Within this group we envision intelligent systems that give formal guarantees in their behavior. Hence, we aim to develop formal methods for designing, building, and testing trustworthy AI systems. We are committed to bringing the vision of trustworthy AI into a reality in different research, education, and industry sectors. Hence, the envisioned intelligent systems do not replace humans, but rather as a means of empowering them to achieve their goals.

Our research topics embrace the following:

Logic-based methods

  • Common-sense and non-monotonic reasoning
    • Answer Set Programming
    • Formal Argumentation
    • Formal Dialogues, e.g., strategic interactions.
  • Approximate reasoning, e.g., possibilistic logic, imprecise probability.
  • Logic-based preference reasoning.

Autonomous rational agents with humans in the loop

  • Cognitive models for rational agents, e.g., extensions of the BDI model.
  • Decision-making models.
    • Strategic interaction models based on logic-based methods.
    • Human-aware planning based on logic-based methods.

Trustworthy and accountable AI system behaviors

  • AI testing
    • Trustworthy AI assessment tools.
    • Assessment of AI systems from the AI Ethics view.
  • Knowledge modeling
    • Theory of mind models based on logic-based methods.
    • Knowledge elicitation.
  • Software tools to develop intelligent interactive systems, e.g., software libraries to develop intelligent systems based on logic-based languages in Unity.

Education in Computer Science

  • Curricula development for AI education
    • AI and Sustainability in high education
  • Teaching methodologies
    • Trustworthy AI in high education

Head of research

Esteban Guerrero Rosero
Associate professor
Timotheus Kampik
Adjunct associate professor


Participating departments and units at Umeå University

Department of Computing Science

Research area

Computing science
Latest update: 2024-02-24