Professori associati di ruolo | Formal Languages, Logic, Theoretical CS.
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.
71053 · Corso di Dottorato di ricerca in Scienze e Tecnologie informatiche · EN
76214 · INF/01 · Corso di laurea in Informatica · EN
Ontologies, Conceptual Modelling,Temporal Logic.