Stefania Costantini

Laureata con lode presso l’Università di Pisa. Dopo la laurea ha lavorato presso Italtel SIT a Milano, poi nel 1986 ha accettato una borsa di ricerca presso l’Università degli Studi di Milano dove è diventata ricercatore nel 1990. Diventata poi Professore Associato (SSD INF/01) presso l’Università degli Studi dell’Aquila, dal 2005 è Professore Ordinario, afferente al Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM). Dirige in gruppo di ricerca AAAI@AQ (Autonomous Agents and Artificial Intelligence at L’Aquila). E’ sposata con due figli, Daniele e Alice, nati nel 1993 e 1996.

DATI BIBLIOMETRICI: H-INDEX Scopus 13, Google Scholar 19. Pubblicazioni (in Inglese): oltre 20 International Journals; 7 International Book Chapters e un Essay; più di 50 International Conference e più di  20 Italian Conferences.

INTERESSI DI RICERCA: Intelligenza artificiale, logica computazionale, agenti software intelligenti e sistemi multi-agente, ragionamento non monotono, rappresentazione della conoscenza, robotica cognitiva.

PERIODI ALL’ESTERO: Invited Visiting Professor: Univ. of Texas at El Paso (1999); Imperial College London, UK (2004 e 2010); Univ. Politécnica de Madrid, Spagna (2010); Corunna Univ., Spagna (2010); Fundación Univ. de las Américas, Puebla. México (2012). Invited Speaker presso ASPOCP 2016 (Answer Set Programming and Other Computing Paradigms), New York, Ottobre 2016, e presso LA-NMR Workshop on Logic, Languages, Algorithms and New Methods of Reasoning (Città del Messico, 2012).

COOPERAZIONI (Pubblicazioni, progetti ed attività in comune) • Università di Udine (Prof. Andrea Formisano) • Università di Messina (Prof. Pasquale De Meo) • Imperial College e Birkbeck College London, (Prof. Francesca Toni, Prof. Fariba Sadri, Prof. Alessandro Provetti) • Linkoping University, Svezia (Prof. Pierangelo Dell’Acqua) • Universidade Nova de Lisboa, Portogallo (Prof. Luıs Moniz Pereira) • University of Corunna, Spagna (Prof. Pedro Cabalar) • Universidad Politecnica de Madrid, Spagna (Prof. David Pearce)

COORDINAMENTO PROGETTI EUROPEI: Vice-Coordinatore della Action COST CA17124  “DIGital FORensics: evidence Analysis via intelligent Systems and Practices”, Coordinatrice nodo UNIVAQ progetti WASP (Working Group on Answer Set Programming) e CUSPIS (a Cultural Heritage Space Identification System, GJU/05/2412/CTR/CUSPIS).

PARTECIPAZIONE A PROGETTI EUROPEI: COST action IC0801 “Agreement Technologies”, SINTELNET European Network for Social Intelligence (recently completed projects), Esprit P283 FOR-ME-TOO.

PARTECIPAZIONE A PROGETTI ITALIANI:  1999-2000 PRIN “Intelligent Agents for Information Extraction”, 2000-2001 PRIN “Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps”.

PROGETTI INDUSTRIALI (finanziati dal MISE): Con CIRA (Centro Italiano di Ricerche Aerospaziali, 2014) and SPEE (2015-2020).

ATTIVITA’ PROFESSIONALI: dal 2018 ad oggi, membro del Nucleo di Valutazione dell’Università dell’Aquila. 2016-2018: membro del Presidio Qualità dell’Università dell’Aquila. 2012-15: Presidente dei Corsi di Studio base e Magistrale in Informatica. Precedentemente, Coordinatore del Dottorato in Informatica, Vice-Direttore del Dipartimento di Informatica. Presidente della Commissione Paritetica del Dipartimento DISIM, Direttore del Progetto CampusOne per la qualità della didattica. Revisore per le riviste e le conferenze più rilevanti relative agli interessi di ricerca.

PROGRAM COMMITTEE PARTICIPATION AND CHAIRING: General Chair di PAAMS 2020. Co-Chair di RuleML+RR 2017, Co-Chair  e Special Issue Editor per JLC (Journal of Logic and Computation) in relazione al workshop ASP’07, Chair del GULP92. PC Member di circa 100 edizioni di convegni internazionali, inclusi  (fra i più quotati) edizioni recenti, incluse  per quasi tutti le edizioni 2018/2019/2020, di IJCAI (International Joint Conference on Artificial Intelligence), ECAI (European Conference on Artificial Intelligence), ICLP (International Conference on Logic Programming), KR (Knowledge Representation and Reasoning), AAMAS (Agents and Multi-Agent Systems), AAAI Conferences on Artificial Intelligence, LPNMR (International Workshop on Logic Programming and Non-Monotonic Reasoning), JELIA (Joint European Conference of Logics in AI), RuleML (Symposium on Rule Technologies, Research, Tools, and Applications), CLIMA (Computational Logic in Multi-Agent Systems), PRIMA (Principles and Practice of Multi-Agent Systems) e altre.

SOFTWARE DISPONIBILE PUBBLICAMENTE: il gruppo di ricerca AAAI @ AQ ha prodotto i seguenti pacchetti software disponibili a tutti: motore di inferenza RASP Raspberry: http://www.dmi.unipg.it/interprete formis / raspberry / Repository software DALI GitHub: http: // github. com /AAAIDISIM-dell’Ateneo /DALI