Ergonomic & Practical Effect Systems

Effektsystemer er i øjeblikket et varmt forskningsområde inden for typeteori. Mange effektsystemer er dog meget komplicerede at bruge, selvom de er kraftfulde, især for programmører, der ikke er eksperter i typeteori. Effektsystemer med inferens kan give nyttige garantier til programmeringssprog, samtidig med at de er simple nok til at blive brugt i praksis af almindelige programmører.

Explainable AI

Kunstig intelligens åbner op for teknologiske løsninger på problemer, der tidligere blev betragtet som afhængige af menneskelig intelligens. Det gør det muligt at levere menneskecentrerede løsninger, der i samarbejde mellem mennesket og AI-systemet både er mere effektive og af højere kvalitet end løsninger skabt af mennesker eller AI alene.