IASI & INδAM

The Institute for Systems Analysis and Computer Science (Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" - IASI) of the National Research Council of Italy (Consiglio Nazionale delle Ricerche - CNR) hosts a Research Unit of the Italian National Institute of High Mathematics (Istituto Nazionale di Alta Matematica "Francesco Severi" - INδAM)

Director of the research unit

Sara Mattia
IASI-CNR position: senior researcher
INδAM research group: GNAMPA

IASI members of the INδAM research unit

name IASI-CNR position INδAM research group
Alessandro Borri senior researcher GNAMPA
Emanuele De Angelis researcher GNCS
Guglielmo De Angelis researcher GNCS
Claudio Gentile research director GNAMPA
Maurizio Proietti senior researcher GNCS
Daniele Santoni senior researcher GNCS

Activities

Research projects
2024: GNAMPA, Optimization with multiple decision makers and data uncertanty (S. Mattia)
2022: GNAMPA, Optimization under uncertainty (S. Mattia)
2020: GNAMPA, Bilevel Optimization (S. Mattia)
2016: GNCS young researchers, Formal verification of models and programs based on transformation of constrained Horn clauses (E. De Angelis)
2015: GNCS young researchers, Synthesis of verifiers for concurrent languages (E. De Angelis)
2015: GNCS, Automatic generation of assertions for program verification from formal semantics (M. Proietti)
2013: GNCS young researchers, Verification of imperative programs through transformation of constraint logic programs (E. De Angelis)
Visiting professors
2025: 14 days, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)
2021: 30 days, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)
2020: 21 days, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)
2017: 14 days, prof. Leo Sergio Liberti, CNRS & Ecole Polytechnique Palaiseau (C. Gentile)
INδAM contributions for organizing conferences, schools and workshops
2024: 39th Italian Conference on Computational Logic, CILC 2024 (E. De Angelis)
INδAM contributions for attending conferences and workshops
2025: ODS 2025, 1-4 Sept 2025 Milan, Italy (S. Mattia)
2023: ODS 2023, 4-7 Sept 2023, Ischia, Italy (S. Mattia)
2022: ODS 2022, 30 Aug - 2 Sept 2022, Florence, Italy (S. Mattia)
2020: CTW 2020, 14-16 Sept 2020 online (S. Mattia)
2019: 6th Workshop on Horn Clauses for Verification and Synthesis, Prague, Czech Republic, 7 Apr 2019 (E. De Angelis. M. Proietti)
2019: MINOA 2019, 25-28 Jun 2019, Ischia, Italy (S. Mattia)
2018: ODS 2018, 10-13 Sept 2018 Taormina, Italy (S. Mattia)