Nicola Gigante
Researcher
University of Bolzano
Home page
Interests
- Formal Methods
- Temporal Logics
- Artificial Intelligence
- Logic in Computer Science
Education
-
PhD in Computer Science, Mathematics and Physics, 2019
University of Udine
-
Master Degree in Computer Science, 2015
University of Udine