Formal Methods for Trustworthy Hybrid Intelligence
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, material scientists discovering new nanomaterials more quickly, 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.