A/Prof Franconi is a director of the European Masters Program in Computational Logic at the Free University of Bozen-Bolzano. His research interests include: