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

Ricerca finanziata (12)

"Mente, linguaggio, logica e deduzione" 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2007
Aspetti semantici, storico-epistemologici e computazionali della logica formale 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2006
25 mesi
LOGICHE E LINGUAGGI 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2008
Metodi logici per il trattamento dell'informazione 
PRIN10-11 - PRIN bando 2010-11
Progetto
Responsabile scientifico
2013
36 mesi
PIANO DI SOSTEGNO ALLA RICERCA 2015-2017 - LINEA 2 "DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALE"  
PSR2015-17 - Piano di sviluppo di ricerca 2015-17
Progetto
Responsabile scientifico
2015
12 mesi
PIANO DI SOSTEGNO ALLA RICERCA 2015-2017 - LINEA 2 "DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALE" (ANNO 2016) 
PSR2015-17 - Piano di sviluppo di ricerca 2015-17
Progetto
Responsabile scientifico
2016
13 mesi
Partecipazione a "Topology, Algebra and Categories in Logic" - Nizza 17-21 Giugno 2019 
AL_RIC - Bandi da altri enti di ricerca
Progetto
Responsabile scientifico
2019
7 mesi
Piano Sviluppo Unimi - LINEA B - DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALI 
PSV2014 - Piano di sviluppo di ricerca 2014
Progetto
Responsabile scientifico
2014
12 mesi
Piano Sviluppo Unimi - LINEA A - AZIONE AGGIORNAMENTO STRUMENTI 
PSV2014 - Piano di sviluppo di ricerca 2014
Progetto
Responsabile scientifico
2014
12 mesi
Piano di Sostegno alla Ricerca 2015-2017 - Linea 2 "Dotazione annuale per attività istituzionali" (anno 2017) 
PSR_LINEA2_ / Piano di sviluppo di ricerca - Dotazioni dipartimentali - Linea 2
Progetto
Responsabile scientifico
2017
12 mesi
logica e ragionamento 
PUR90 - PUR 90%
Progetto
Partecipante
2009
No Results Found

Pubblicazioni (111)

Dataset

Congressi (4)

Program chair (presidente/responsabile del comitato scientifico) - Advances in Modal Logic (AiML) 2014 - Membro Steering Committee (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) - Advances in Modal Logic (AiML) 2012 - Program Chair (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