Persona
GHILARDI SILVIO

GHILARDI SILVIO

PROFESSORE ORDINARIO
Dipartimento di Matematica Federigo Enriques

Settori (3)

Descrizione linee ricerca (4)

algebra della logica e logica categoriale (2013 - )
logiche modali e non classiche (2013 - )
metodi per il ragionamento automatico (2013 - )
model checking per sistemi a stati infiniti (2010 - )
No Results Found

Congressi (4)

Program chair (presidente/responsabile del comitato scientifico) - (01/01/2014 - )
Program chair (presidente/responsabile del comitato scientifico) - Frontiers of Combining Systems - Membro Steering Committee (01/01/2013 - )
Program chair (presidente/responsabile del comitato scientifico) - (01/01/2012 - )
Program chair (presidente/responsabile del comitato scientifico) - Frontiers of Combining Systems - Membro Steering Committee (01/01/2011 - )
No Results Found

Collegi di dottorato (21)

Università degli Studi di MILANO - SCIENZE MATEMATICHE-2023 (ciclo: 39 - Anno: 2023 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2022 (ciclo: 38 - Anno: 2022 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2021 (ciclo: 37 - Anno: 2021 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2020 (ciclo: 36 - Anno: 2020 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2019 (ciclo: 35 - Anno: 2019 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2018 (ciclo: 34 - Anno: 2018 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2017 (ciclo: 33 - Anno: 2017 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2016 (ciclo: 32 - Anno: 2016 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2015 (ciclo: 31 - Anno: 2015 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2014 (ciclo: 30 - Anno: 2014 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2013 (ciclo: 29 - Anno: 2013 )
Università degli Studi di MILANO - MATEMATICA-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 MILANO - INFORMATICA-2005 (ciclo: 21 - Anno: 2005 )
Università degli Studi di MILANO - INFORMATICA-2004 (ciclo: 20 - Anno: 2004 )
Università degli Studi di MILANO - INFORMATICA-2003 (ciclo: 19 - Anno: 2003 )
No Results Found