Skip to content

Libera Università di Bolzano

Titolari di assegno di ricerca (AR)

Alessandro Gianola

Short bio

I am a Postdoctoral Researcher at the KRDB Research Centre for Knowledge and Data (Faculty of Computer Science). I hold a PhD in Computer Science, earned cum laude at the Free University of Bozen-Bolzano, and a Master’s Degree in Mathematics, earned cum laude at Università degli Studi di Milano. My research activity focuses on theoretical and methodological aspects of mathematical logic and formal methods for verification of complex processes with data.

Corsi

Advanced Statistics

73064 · MAT/06 · Corso di laurea magistrale in Data Science Computazionale · EN

Data and Process Modeling for Business Informatics

76404A · ING-INF/05 · Corso di laurea in Informatica e Management delle Aziende digitali · EN

Preparatory Course in Mathematics

76237 · MAT/02 · Corso di laurea in Informatica · EN

Macroaree di ricerca

Computational Logic, Formal Verification, Model Checking, Automated Reasoning, Mathematical Logic, Artificial Intelligence, Business Process Management

Info

Office: BZ P2.01

Tel.: +39 0471 016028

E-mail: gianola@inf.unibz.it 

Pubblicazioni