DENNUNZIO ALBERTO

Studi e Posizioni Accademiche

1999: Laurea (MS) in Scienze dell'Informazione, cum laude, Universita' degli Studi di Milano
2004: Dottore di Ricerca in Informatica, Universita' degli Studi di Milano
2004 - 2016: Ricercatore, Universita' degli Studi di Milano-Bicocca
2016-oggi: Professore Associato di Informatica, Universita' degli Studi di Milano-Bicocca

Responsabilita' accademiche

E’ stato Presidente della Commissione Orientamento della Scuola di Scienze, Universita' degli Studi di Milano-Bicocca

E’ stato Responsabile del Programma di Doppia Laurea Magistrale in Informatica tra l'Universita' degli Studi di Milano-Bicocca e l'Université Nice Sophia Antipolis.

2013-oggi: Membro del Collegio Docenti del Dottorato di Ricerca in Informatica, Universita' degli Studi di Milano-Bicocca.

Responsabilita' scientifiche

E’ stato  Membro dello Steering Committee of the IFIP international working conference “Cellular Automata and Discrete Complex Systems” (Automata)

2016-oggi: Membro dell' IFIP Working Group 1.5 “Cellular Automata and Discrete Complex Systems”.

2017 General and program committee chair del convegno internazionale "23rd IFIP International Working Conference on Cellular Automata and Discrete Complex Systems (Automata 2017), Milano, Italy".

Program committee co-chair dei Workshops ACA (Asynchronous Cellular Automata and Asynchronous Discrete Models): ACA 2010, ACA 2012, ACA 2014, ACA 2016, ACA 2018.

Membro del Program Committee delle seguenti conferenze internazionali: ACRI 2010 (Cellular Automata for Research and Industry), ACRI 2012, Automata 2012, UCNC 2013 (Unconventional Computation and Natural Computation), UCNC 2014, ACRI 2014, NCMA 2016 (Non-Classical Models of Automata and Applications), ACRI 2016, UCNC 2018, ACRI 2018, Automata 2018

Membro dell'Organizing Committee di UCNC 2013, CiE 2013 (Computability in Europe), ACRI 2018.

Progetti scientifici

Ha partecipato, svolgendo anche attività di coordinamento, a progetti internazionali.

E’ stato Membro dal 2003 sino al 2011 di diversi progetti nazionali COFIN/PRIN su Automi e Linguaggi Formali on Automata finanziati dal MIUR:
 

Collaborazioni scientifiche internazionali (visite e inviti all'estero)

Jul 2012-Aug 2012:
6 settimane, invitato presso il CNRS Laboratory I3S - Université Nice Sophia Antipolis, MC3 (Models of Computation, Complexity and Combinatorics) team.

Feb 2011:
1 settimana, invitato presso la Charles University of Prague (Czech Rep.)

Aug 2008 - Nov 2008:
3 mesi, invitato presso il CNRS Laboratory I3S - Université Nice Sophia Antipolis, MC3 team.

2006-2009:
circa 8 mesi complessivi per diversi periodi trascorsi in Francia presso
- Aix-Marseille Université
- Université de Paris-Est
- Ecole Normale Supérieure (ENS) de Lyon
- Université Nice Sophia Antipolis

per svolgere attivita' di ricerca in collaborazione riguardante i temi del progetto internazionale INTERLINK/MIUR.

Premi e riconoscimenti per l'attivita' scientifica

- L'articolo “A. Dennunzio, E. Formenti, M. Weiss. Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issue. Theoretical Computer Science”, già pubblicato nel 2014, è stato incluso nella Special Issue del journal Theoretical Computer Science preparata nel 2015 per celebrare il 40esimo anniversario dalla sua fondazione (1975-2014) "in order to give recognition to the most influential scientific production that has been published by TCS throughout these years". Tale special issue contiene un articolo per ciascun anno del periodo 1975-2014 e tra gli autori degli articoli compaiono nomi di studiosi tra i piu' prestigiosi del recente passato nel campo dell'informatica teorica. Gli articoli di tale special issue sono scaricabili gratuitamente ("This provides scholars with a great opportunity to access more easily some of the papers that have made the history of our discipline, and to survey the evolution of the field over almost half a century.") Si veda https://www.journals.elsevier.com/theore tical-computer-science/virtual-special-i ssues/40th-anniversary-of-theoretical-computer-science. L'articolo "Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issue" contiene risultati riguardanti proprietà degli Automi Cellulari multidimensionali tramite una costruzione che consente di rappresentarli opportunamente come modelli in dimensione 1.

- "Prime d'Excellence Scientifique" (Premio di Eccellenza Scientifica) presso l'Université Nice Sophia Antipolis (France), anno accademico 2010-2011

Pubblicazioni scientifiche

Circa 50 pubblicazioni scientifiche. Molte di esse sono state scritte in collaborazione con ricercatori di altre Universita'/Istituti di ricerca e di altre nazioni. Per i dettagli si rimanda alla sezione apposita di questa scheda docente ed alle banche dati DBLP, Scopus e Google Scholar.

Attivita' editoriale

- Membro dell'editorial board del journal Natural Computing (NaCo), Springer

- Guest editor di special issues di riviste internazionali:

Information and Computation (1 in prep.)
Natural Computing (4 issues, 1 in prep.)
Fundamenta Informaticae (2 issues)
International Journal of Foundations of Computer Science (1 issue)

- Editor of 2 volumi della serie Lecture Notes in Computer Science (7956: Proc. UCNC 2013, 10248: Proc. Automata 2017)

Riassunto dell'attivita' scientifica

L'attivita' di ricerca si focalizza principalmente su

- Automi Cellulari (AC) e modelli discreti (asincroni, non-uniformi,...) in contesti di Dinamica Simbolica, Teoria della Computabilita' e Teoria dei Linguaggi Formali: comportamenti dinamici, questioni di decidibilita'/calcolabilita' sulla dinamica, potenza computazionale dei modelli, complessita' rispetto ai linguaggi formali associati, indagini in dimensione superiore a uno. Uno tra i principali obiettivi e' comprendere il comportamento a lungo termine di questi modelli discreti e la loro complessita'.

- Applicazioni: modellazione e simulazione di Sistemi Complessi mediante modelli discerti quali AC e varianti.

- Reaction Systems (modelli formali per studiare le interazioni tra reazioni biochimiche): comportamenti dinamici e complessita' computazionale dei problemi di decisione associati.