Skip to content

Libera Università di Bolzano

Professori associati di ruolo | Formal Languages, Logic, Theoretical CS.

Alessandro Artale

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 · Corso di Dottorato di ricerca in Scienze e Tecnologie informatiche · EN

Formal Languages and Compilers

76214 · INF/01 · Corso di laurea in Informatica · IT

Operating Systems

76241 · ING-INF/05 · Corso di laurea in Informatica · IT

Macroaree di ricerca

Description Logics,
Ontologies, Conceptual Modelling,Temporal Logic.

Questo contenuto non è accessibile a causa delle tue preferenze sui cookie. Per favore modifica il tuo consenso per visualizzarlo.

Feedback / richiesta info