Persona
AGUZZOLI STEFANO
PROFESSORE ASSOCIATO
Settori (4)
Descrizione linee ricerca (2)
Logica polivalente: aspetti algebrici, semantici, computazionali (2014 - )
Probabilità di eventi non classici (2014 - )
No Results Found
Ricerca finanziata (8)
A Duality-based approach to deductions and reasoning with vague information
H20MC_COF - Horizon 2020_Marie Skłodowska-Curie actions-Co-funding of regional, national and international programmes that finance fellowships involving mobility to or from another country
Progetto
Responsabile scientifico
2016
6 mesi
A New logical Computational approach to vague real-world problems (LaVague) - Fellowship: Dott. Pietro Codara
H20MC_COF - Horizon 2020_Marie Skłodowska-Curie actions-Co-funding of regional, national and international programmes that finance fellowships involving mobility to or from another country
Progetto
Responsabile scientifico
2018
6 mesi
Logiche non classiche nella specificazione e verifica dei programmi
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2006
Mathematical Tools for the Management of Uncertain and Vague Information
7PQ_MC_IR - 7 Programma Quadro_Marie Curie IRSES
Progetto
Responsabile scientifico
2011
36 mesi
Metodi logici e algoritmici nella analisi, specifica e verifica di sistemi.
PUR90 - PUR 90%
Progetto
Partecipante
2009
Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics
H20MC_RISE - Horizon 2020_Marie Skłodowska-Curie actions-International and inter-sectoral cooperation through the Research and Innovation Staff Exchanges (RISE)
Progetto
Responsabile scientifico
2016
36 mesi
Tecniche logiche nella specifica e verifica formale di sistemi
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2008
Tecniche logiche nella specifica e verifica formale di sistemi.
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2007
No Results Found
Pubblicazioni (79)
Congressi (2)
Program chair (presidente/responsabile del comitato scientifico) - MANYVAL'13 (01/01/2013 - ) 20130101
Program chair (presidente/responsabile del comitato scientifico) - RST2011, Rough Sets and Logic (01/01/2011 - ) 20110101
No Results Found
Collegi di dottorato (14)
Università degli Studi di MILANO -
INFORMATICA-2021
(ciclo: 37 - Anno: 2021
2021
)
Università degli Studi di MILANO -
INFORMATICA-2020
(ciclo: 36 - Anno: 2020
2020
)
Università degli Studi di MILANO -
INFORMATICA-2019
(ciclo: 35 - Anno: 2019
2019
)
Università degli Studi di MILANO -
INFORMATICA-2018
(ciclo: 34 - Anno: 2018
2018
)
Università degli Studi di MILANO -
INFORMATICA-2017
(ciclo: 33 - Anno: 2017
2017
)
Università degli Studi di MILANO -
INFORMATICA-2016
(ciclo: 32 - Anno: 2016
2016
)
Università degli Studi di MILANO -
INFORMATICA-2015
(ciclo: 31 - Anno: 2015
2015
)
Università degli Studi di MILANO -
INFORMATICA-2014
(ciclo: 30 - Anno: 2014
2014
)
Università degli Studi di MILANO -
INFORMATICA-2013
(ciclo: 29 - Anno: 2013
2013
)
Università degli Studi di MILANO -
INFORMATICA-2012
(ciclo: 28 - Anno: 2012
2012
)
Università degli Studi di MILANO -
INFORMATICA-2011
(ciclo: 27 - Anno: 2011
2011
)
Università degli Studi di MILANO -
INFORMATICA-2010
(ciclo: 26 - Anno: 2010
2010
)
Università degli Studi di MILANO -
INFORMATICA-2009
(ciclo: 25 - Anno: 2009
2009
)
Università degli Studi di MILANO -
INFORMATICA-2008
(ciclo: 24 - Anno: 2008
2008
)
No Results Found
Tutoraggio (2)
tutorship -
Assegnisti
- BIANCHI MATTEO
(01/05/2015 - 30/04/2017)
20150501
tutorship -
Assegnisti
- BIANCHI MATTEO
(01/05/2013 - 30/04/2015)
20130501
No Results Found
Public Engagement
Altre iniziative di Public Engagement (Altro)
- Partecipazione alla notte europea dei ricercatori. MeetMeTonight. Evento "Faccia a faccia con i ricercatori" presso l'EU Corner
Milano, Giardini Indro Montanelli. Notte europea dei Ricercatori. MeetMeTonight 2019 (28/09/2019 - 28/09/2019) 20190928
Dipartimento di Informatica Giovanni Degli Antoni
No Results Found