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.
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII: International Workshops COIN 2017 and COINE 2020, Sao Paulo, Brazil, May 8-9, 2017 and Virtual Event, May 9, 2020, Revised Selected Papers
Aler Tubella, Andrea; Cranefield, Stephen; Frantz, Christopher; et al.