Skip to content

Free University of Bozen-Bolzano

Teaching staff

Alessandro Gianola

Alessandro.Gianola@unibz.it

+39 0471 016028

Faculty of Computer Science
Dominikanerplatz 3 - piazza Domenicani, 3
39100
Bozen-Bolzano

Short bio

I am a Ph.D. Candidate at the KRDB Research Centre for Knowledge and Data (Faculty of Computer Science). 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.

Courses

Probability Theory and Statistics

76210 · MAT/06 · Computer Science (L-31) - 2017 · EN

Main Research Areas

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

Info

Office: BZ P2.01

Tel.: +39 0471 016028

Feedback / Request info