Skip to content

Free University of Bozen - Bolzano

Alessandro Gianola

gianola@inf.unibz.it

Facoltà di Scienze e Tecnologie informatiche
piazza Domenicani, 3
39100
Bolzano

Short bio

I am a Ph.D. student at the KRDB Research Centre for Knowledge and Data (Faculty of Computer Science), supervised by prof. Marco Montali and prof. Silvio Ghilardi. I hold a Bachelor's Degree in Mathematics and a Master's Degree  in Mathematics, both 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.

Macroaree di ricerca

Mathematical Logic, Computational Logic, Modal Logic, Model Checking, Formal Verification, Automated Reasoning, Artificial Intelligence

Info

Office: BZ P2.01

Tel.: +39 0471 016028

E-mail: [email protected] 

Pubblicazioni