Nicola Gigante

Nicola Gigante

Postdoctoral Researcher

University of Udine

Home page

https://users.dimi.uniud.it/~nicola.gigante/

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