Nicola Gigante

253
reputation
1
2
6

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