Scholar
Nicola Gigante
Google Scholar ID: WCau96IAAAAJ
Libera Università di Bolzano
Citations & Impact
Citations
445
H-index
14
i10-index
19
Publications
20
Co-authors
9
list available
Publications
Resume (English only)
Academic Achievements
- Publications:
- - 'Counterfactual Scenarios for Automated Planning' with Francesco Leofante and Andrea Micheli, accepted at KR 2025.
- - 'First-Order Automata' with Luca Geatti and Alessandro Gianola, published in AAAI 2025.
- - 'SAT Meets Tableaux for Linear Temporal Logic Satisfiability' with Luca Geatti, Angelo Montanari, and Gabriele Venturato, published in J. Autom. Reason.
Research Experience
- Researcher focusing on the verification and reactive synthesis of infinite-state systems specified through first-order temporal logics. One of the main developers of BLACK, a satisfiability checker supporting many propositional and first-order variants of linear temporal logic.
Background
- Research interests include formal and algorithmic aspects of computer science, particularly temporal reasoning, temporal logic, and automated planning.
Miscellany
- Other interests:
- - Joined the Editorial Board of the ETAPS Blog.
- - Will be giving a tutorial on SAT- and SMT-based techniques for automated planning and chairing a workshop on the same topic at ICAPS 2025.
- - Will be giving a short talk during the special session on MoXI of SPIN 2025.
- - Will be giving a tutorial on first-order temporal logic at TIME 2025.
- Teaching experience:
- - Has been teaching the Computer Architecture course for several years to bachelor students in Electronic and Information Engineering and Computer Science at the Free University of Bozen-Bolzano in Italy.
- - Taught various classes including Mathematical Analysis, C programming (as part of the Operating Systems course), and Software Security (as part of the CyberChallenge.IT program).
