Luca Pasetto
Postdoctoral researcher at the University of Luxembourg
Postdoctoral researcher at the University of Luxembourg
I am a postdoctoral researcher at the Department of Computer Science of the University of Luxembourg, where I am a member of the CLAiM group on Computational Law and Machine Ethics led by Dr. Réka Markovich.
My current research focuses on knowledge representation and automation of reasoning with non-classical and non-monotonic logics, especially with application to the legal context. I am also interested in designing and applying formal techniques to assess and explain the behaviour of non-transparent systems and to check for compliance with regulatory constraints.
I completed degrees in Computer Science and Computer Engineering and obtained my PhD in Computer Science (October 2022) from Università degli Studi di Verona, Italy. During the PhD I worked in the fields of knowledge representation and automated reasoning applied to the legal domain, focusing on defeasible deontic logic and its automation. After the PhD and before joining the University of Luxembourg, I had a one-year post-doctoral position at Università degli Studi di Verona, where I also taught as an assistant professor.
Research interests: