Jag bedriver forskning om formella och neuro-symboliska metoder för pålitlig AI, med teori och tillämpning inom verifiering av interaktiva system samt utveckling av intelligenta beslutsstödsystem.
Min Forskning | Google Scholar | ResearchGate
Jag bedriver forskning om formella och neuro-symboliska metoder för pålitlig och människocentrerad artificiell intelligens. Mitt arbete sträcker sig från teoretiska grunder inom kunskapsrepresentation och resonerande till tillämpad forskning om verifiering av interaktiva system och utveckling av intelligenta beslutsstödsystem. Jag använder tekniker som Answer Set Programming (ASP), formell argumentation och beskrivningslogik (Description Logic, DL).