PROFESSORE ORDINARIO
Dipartimento di Informatica Giovanni Degli Antoni
Settori (5)
Parole Chiave (2)
FORMAL METHODS, ABSTRACT STATE MACHINES, MODELING, VERIFICATION, MODEL-DRIVEN ENGINEERING
METODI FORMALI, MACCHINE A STATI ASTRATTE, PROGETTAZIONE MODEL-DRIVEN, MODELLAZIONE, VERIFICA
No Results Found
Ricerca Finanziata (2)
Data-Centric Genomic Computing (GenData 2020) 
PRIN10-11 - PRIN bando 2010-11
Progetto
Partecipante
Responsabile scientifico
2013
36 mesi
Milano Ventilatore Meccanico in presenza d'incertezza (MVM-Adapt) 
FISR - Fondo integrativo speciale per la ricerca
Progetto
Responsabile scientifico
Amministrativo
2021
6 mesi
No Results Found
Pubblicazioni (121)
Premi E Riconoscimenti (5)
Ricerca E Didattica Presso Enti (6)
Visiting Researcher - Visiting Researcher - presso: University of Virginia (13/07/2016 - 10/09/2016)
Visiting Researcher - Visiting Researcher - presso: Florida Atlantic University di Boca Raton, (04/08/2011 - 05/09/2011)
Visiting Researcher - Visiting Researcher - Attività di ricerca presso il Center For High Assurance Computer System - presso: The Naval Research Laboratory of the United States of America (NRL) (11/11/1997 - 03/11/1998)
Visiting Researcher - Visiting Researcher - Visting John Lloyd for reaserch on the semantics of the Goedel Programming Language - presso: University of Bristol (01/03/1992 - 30/06/1992)
Visiting Researcher - Visiting Researcher - Visiting Steve Gregory for research on the semantics of the Pandora Programming Language - presso: University of Bristol (01/10/1991 - 31/12/1991)
Visiting Researcher - Visiting Researcher - Visiting Prof. Peter Schmitt at the Institute fuer Logik, Komplexitaet und Deduktionssysteme - presso: Universität Karlsruhe (01/07/1990 - 30/11/1990)
No Results Found
Congressi (4)
Program chair (presidente/responsabile del comitato scientifico) - Eclipse IT 2013: Mobile and Coordination (2013-01-01 14:24:52.68 - )
Program chair (presidente/responsabile del comitato scientifico) - Dagstuhl Seminar: 28-0113 "Integration of Tools for Rigorous Software Construction and Analysis" (2013-01-01 14:24:52.657 - )
Program chair (presidente/responsabile del comitato scientifico) - Third International Conference ABZ 2012 (2012-01-01 14:24:52.643 - )
Program chair (presidente/responsabile del comitato scientifico) - 10th International Workshop on Abstract State Machines (2003-01-01 14:24:52.668 - )
No Results Found
Collegi Di Dottorato (15)
Ordina Anno:
Università degli Studi di MILANO - INFORMATICA-2019 (ciclo: 35 - Anno: 2019 )
Università degli Studi di MILANO - INFORMATICA-2018 (ciclo: 34 - Anno: 2018 )
Università degli Studi di MILANO - INFORMATICA-2017 (ciclo: 33 - Anno: 2017 )
Università degli Studi di MILANO - INFORMATICA-2016 (ciclo: 32 - Anno: 2016 )
Università degli Studi di MILANO - INFORMATICA-2015 (ciclo: 31 - Anno: 2015 )
Università degli Studi di MILANO - INFORMATICA-2014 (ciclo: 30 - Anno: 2014 )
Università degli Studi di MILANO - INFORMATICA-2013 (ciclo: 29 - Anno: 2013 )
Università degli Studi di MILANO - INFORMATICA-2012 (ciclo: 28 - Anno: 2012 )
Università degli Studi di MILANO - INFORMATICA-2011 (ciclo: 27 - Anno: 2011 )
Università degli Studi di MILANO - INFORMATICA-2010 (ciclo: 26 - Anno: 2010 )
Università degli Studi di MILANO - INFORMATICA-2009 (ciclo: 25 - Anno: 2009 )
Università degli Studi di MILANO - INFORMATICA-2008 (ciclo: 24 - Anno: 2008 )
Università degli Studi di MILANO - INFORMATICA-2007 (ciclo: 23 - Anno: 2007 )
Università degli Studi di MILANO - INFORMATICA-2006 (ciclo: 22 - Anno: 2006 )
Università degli Studi di CATANIA - INFORMATICA-2003 (ciclo: 19 - Anno: 2003 )
No Results Found
Tutoraggio
tutorship - Dottorandi - LILLI MARIO (01/11/2020 - )
No Results Found