
DENNUNZIO ALBERTO
- U14, Piano: 2, Stanza: 2060
Biografia
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.
Pubblicazioni
Dennunzio, A., Formenti, E., Margara, L. (2024). On the Dynamical Behavior of Cellular Automata on Finite Groups. IEEE ACCESS, 12, 122061-122077 [10.1109/ACCESS.2024.3452199]. Dettaglio
Dennunzio, A., Formenti, E., Margara, L. (2024). An efficient algorithm deciding chaos for linear cellular automata over (Z/mZ)n with applications to data encryption. INFORMATION SCIENCES, 657(February 2024) [10.1016/j.ins.2023.119942]. Dettaglio
Dennunzio, A., Formenti, E., Manzoni, L., Margara, L., Menara, G. (2023). A topology for P-systems with active membranes. JOURNAL OF MEMBRANE COMPUTING, 5(4 (December 2023)), 193-204 [10.1007/s41965-023-00132-x]. Dettaglio
Dennunzio, A., Formenti, E., Margara, L. (2023). An Easy to Check Characterization of Positive Expansivity for Additive Cellular Automata Over a Finite Abelian Group. IEEE ACCESS, 11, 121246-121255 [10.1109/ACCESS.2023.3328540]. Dettaglio
Bandini, S., Briola, D., Dennunzio, A., Gasparini, F., Giltri, M., Vizzari, G. (2023). Distance-based affective states in cellular automata pedestrian simulation. NATURAL COMPUTING [10.1007/s11047-023-09957-y]. Dettaglio
Progetti di ricerca
Premi e responsabilità scientifiche
Premi
- 40th Anniversary of Theoretical Computer Science – Top Cited Articles: 1975-2014, Theoretical Computer Science, Elsevier, 2017
- Prime d'Excellence Scientifique, 2011
Partecipazioni scientifiche
- Fellow - CNRS (Francia), 2010 - 2011
Comitati editoriali
- Associate Editor di rivista o collana editoriale - THEORETICAL COMPUTER SCIENCE, 2019
- Associate Editor di rivista o collana editoriale - NATURAL COMPUTING, 2016
Incarichi di insegnamento o ricerca
- Ricercatore presso Ente di ricerca - Attività di ricerca presso l'I3S prevista dalla speciale posizione di Maître de Conférences - Chaire CNRS (Maître de Conférences all'Université de Nice - Sophia Antipolis associato al CNRS) - CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE - CNRS, 2010 - 2011
- Attivita' didattica - Maître de Conférences (stagiaire) e fellowship al CNRS. Attività didattica e di ricerca. - Université de Nice - Sophia Antipolis, 2010 - 2011
Congressi/Convegni
- Program committee - 29th International Workshop on Cellular Automata and Discrete Complex Systems (Automata 2023)(Italia), 2023
- Program chair - 23rd IFIP International Working Conference on Cellular Automata and Discrete Complex Systems (Automata 2017), Milano, 7-9 giugno 2017(Italia), 2017