Forskningsintressen: logik, matematiska grunder för datavetenskap, ansvarsfull AI-utveckling.
Konkreta verktyg för att förklara, granska och utveckla intelligenta system på ett ansvarsfullt sätt.
Min forskning omfattar logik och bevisteori (särskilt djup slutsats). Jag är intresserad av utformningen av formalismer och system, liksom av tillämpningar av logik för intelligenta system.
Mina huvudsakliga forskningsintressen är logik, aspekter av datavetenskapens matematiska grunder och dess användningsområden för utveckling av verktyg. Jag är medlem i forskningsgruppen Responsible AI som leds av professor Virginia Dignum, och arbetar med konkreta verktyg för att förklara, granska och utveckla intelligenta system på ett ansvarsfullt sätt.
Jag undervisar och medverkar i bedömning på kurserna: Grunderna i AI (5dv124), Logiks, Ansvarsfull design av interaktiva AI-system.