MathOverflow Stack Exchange
MathOverflow Stack Exchange

Nicola Gigante
121
reputation
  • Udine, Italy
  • Member since August 24 2016
  • 9 profile views
  • Last seen Nov 03 '23 at 08:57

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