Skip to content

Free University of Bozen-Bolzano

Tenured associate professors | Formal Languages, Logic, Theoretical CS.

Alessandro Artale

+39 0471 016150

BZ P2.03
Faculty of Computer Science
Dominikanerplatz 3 - piazza Domenicani, 3

Short bio

Alessandro Artale is an Associate Professor in the Faculty of Computer Science at the Free University of Bozen-Bolzano. He got a PhD in Computer Science at the department of "Systems Theory and Computer Science" at the University of Florence in 1994. From 1994 he got a Fellowship at the CNR-LADSEB in Padua; from 1996 he was Senior Researcher at the IRST institute in Trento (currently, FBK) in the research division headed by Oliviero Stock; from 1999 till 2003 he was Assistant Professor at the Department of Computation, UMIST, University of Manchester, UK.
His research activity has been internationally recognized being funded by the European Community or by National funding. He published papers in international journals and conferences, book chapters and national conferences.


Applied Formal Methods

71053 · PhD Computer Science - 2017 · EN

Formal Languages and Compilers

76214 · INF/01 · L-31 Computer Science - 2017 · EN

Main Research Areas

Description Logics,
Ontologies, Conceptual Modelling,Temporal Logic.