Research interests: logic, mathematical foundations of computer science, responsible AI development. Working on concrete tools to explain, audit and develop intelligent systems responsibly.
My research areas include logic and proof theory (in particular deep inference). I am interested in the design of formalisms and systems, as well as in applications of logic for intelligent systems.
My main research interests are in logic, aspects of the mathematical foundations of computer science, and its uses for the development of tools. I am a member of the Responsible AI team, working on concrete tools to explain, audit and develop intelligent systems responsibly.
I participate giving lectures and assessing in the courses: Fundamentals of AI, Logiks, Responsible Design of Interactive AI Systems.