DENNUNZIO ALBERTO

Ruolo: 
professore associato
Settore scientifico disciplinare: 
INFORMATICA (INF/01)
Telefono: 
0264487868
Stanza: 
U14, Piano: P02, Stanza: 2060
Viale Sarca, 336 - 20126 MILANO

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

Attivita' didattica

- Insegnamenti della Laurea Triennale (in Informatica e non) su Programmazione, Algoritmi e Strutture Dati, Informatica Generale
- Insegnamenti della Laurea Magistrae in Informatica su Sistemi Dinamici Discreti e Automi Cellulari
- Supervisore di diverse tesi di Laurea e di dottorandi/Post-Doc.

 

Responsabilita' accademiche

2009-oggi: Responsabile del Laboratorio di ricerca "Sistemi Complessi e Incerti" del Dipartimento di Informatica, Sistemistica e Comunicazione, Universita' degli Studi di Milano-Bicocca

2016-2017 Presidente della Commissione Orientamento della Scuola di Scienze, Universita' degli Studi di Milano-Bicocca

2015-2017: 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

2017-oggi: 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

2006-2010: coordinatore italiano del progetto internazionale INTERLINK/MIUR project C “Cellular Automata: Topological Properties, Chaos, and Associated Formal Languages; parallel architectures for implementation aspects”.

2008: Membro del progetto internazionale Scientific Cooperation Project “Cellular Automata, Symbolic Dynamics” tra Francia e Italia finanziato dalla regione Provence-Alpes-Cote d’Azur.

Membro dei seguenti progetti nazionali COFIN/PRIN su Automi e Linguaggi Formali on Automata finanziati dal MIUR:

2003-2005: "Formal languages and Automata: Methods, Models and Applications"

2005-2007: "Automata and Formal languages: mathematical and application driven studies"

2007-2009: "Mathematical aspects and emerging applications of automata and formal languages"

2010-2011: "Automata and Formal Languages: Mathematical and Applicative Aspects"

Membro dei progetti

Progetto PON Ricerca e competitività 2007-2013 PON01_01286 eJRM (electronic Justice Relationship Management)
Progetto "NEDD (Network Enabled Drug Design)" ID14546A Rif SAL-7 funded by Fondo per la Promozione di Accordi Istituzionali Regione Lombardia
Progetto PON SmartCal 2017-today

 

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., Manzoni, L., Margara, L., & Porreca, A. (2019). On the dynamical behaviour of linear higher-order cellular automata and its decidability. INFORMATION SCIENCES. Dettaglio
  • Dennunzio, A., Dorigatti, V., Formenti, E., Manzoni, L., & Porreca, A. (2018). Polynomial Equations over Finite, Discrete-Time Dynamical Systems. In Cellular Automata (pp.298-306). Springer Verlag. Dettaglio
  • Mariot, L., Leporati, A., Dennunzio, A., & Formenti, E. (2017). Computing the periods of preimages in surjective cellular automata. NATURAL COMPUTING, 16(3), 367-381. Dettaglio
  • Dennunzio, A., Formenti, E., Manzoni, L., & Porreca, A. (a cura di). (2017). Cellular Automata and Discrete Complex Systems - 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings. Springer. Dettaglio
  • Dennunzio, A., Formenti, E., Manzoni, L., Mauri, G., & Porreca, A. (2017). Computational complexity of finite asynchronous cellular automata. THEORETICAL COMPUTER SCIENCE, 664, 131-143. Dettaglio