Skip to Main Content (Press Enter)

Logo UNIMI
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione

Expertise & Skills
Logo UNIMI

|

Expertise & Skills

unimi.it
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione
  1. Persone
Persona
AGUZZOLI STEFANO

AGUZZOLI STEFANO

PROFESSORE ASSOCIATO
Dipartimento di Informatica Giovanni Degli Antoni

Gruppo 01/INFO-01 - INFORMATICA

Settore INFO-01/A - Informatica
  • Contatti
  •  stefano.aguzzoli@unimi.it
  •  Rubrica di Ateneo
  •  02503 16356
  • Aree Di Ricerca
  • Progetti
  • Pubblicazioni
  • Premi E Incarichi Scientifici
  • Altre Attività
  • Cv

Settori (8)


PE1_1 - Logic and foundations - (2013)

PE1_1 - Logic and foundations - (2016)

PE1_16 - Mathematical aspects of computer science - (2013)

PE1_16 - Mathematical aspects of computer science - (2016)

PE1_2 - Algebra - (2013)

PE1_2 - Algebra - (2016)

PE6_4 - Theoretical computer science, formal methods, and quantum computing - (2013)

PE6_4 - Theoretical computer science, formal methods, and quantum computing - (2016)

Descrizione linee ricerca (2)

Logica polivalente: aspetti algebrici, semantici, computazionali (2014 - )
Probabilità di eventi non classici (2014 - )
No Results Found

Ricerca finanziata (8)

  • crescente
  • decrescente
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
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}

Pubblicazioni (81)

  • crescente
  • decrescente
  • Tutti
  • All
  • Open
  • Partially Open
  • Mixed
  • Embargoed
  • Reserved

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)

  • crescente
  • decrescente
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
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}

Tutoraggio (2)

tutorship - Assegnisti - BIANCHI MATTEO
tutorship - Assegnisti - BIANCHI MATTEO
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
Dipartimento di Informatica Giovanni Degli Antoni
Milano, Giardini Indro Montanelli. Notte europea dei Ricercatori. MeetMeTonight 2019 (28/09/2019 - 28/09/2019) 20190928
No Results Found

Pdf

stefano_aguzzoli.pdf
  • Informazioni
  • Assistenza
  • Accessibilità
  • Privacy
  • Utilizzo dei cookie
  • Note legali

Realizzato con VIVO | Progettato da Cineca | 25.11.5.0