Nicola Gigante

558
reputation
2
12

Researcher at the Free University of Bozen-Bolzano working on temporal reasoning in formal methods and AI.