Alessandro Gianola

I am a PhD candidate in Computer Science at the KRDB Research Centre for Knowledge and Data (Free University of Bozen-Bolzano, Italy). I am also Visiting Graduate at the Department of Computer Science and Engineering (CSE) of the University of California, San Diego (UCSD).

I was born in February 1993 in Sondrio, Italy. 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 scientific interests involve Logic and Computation: specifically, my research activity focuses on theoretical and methodological aspects of mathematical logic and formal methods for verification of complex processes with data.

Main Research Areas

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

Contact Information:

  • Free University of Bozen-Bolzano
    • Office: BZ P.201
    • Tel.: +39 0471 016028
    • E-mail: 
  • University of California, San Diego (UCSD)
    • Office: 3232 (CSE Building)
    • E-mail: