I research formal and neuro-symbolic methods for trustworthy, human-centered AI, with theoretical and applied research in interactive system verification and intelligent decision-support.
| |
I research formal and neuro-symbolic methods for trustworthy, human-centered AI, ranging from theoretical foundations in knowledge representation and reasoning to applied research on interactive system verification and intelligent decision-support. Techniques include Answer Set Programming (ASP), Formal Argumentation, and Description Logic (DL).