Skip to Main Content (Press Enter)

Logo UNIMI
  • ×
  • Home
  • People
  • Projects
  • Fields
  • Units
  • Outputs
  • Third Mission

Expertise & Skills
Logo UNIMI

|

Expertise & Skills

unimi.it
  • ×
  • Home
  • People
  • Projects
  • Fields
  • Units
  • Outputs
  • Third Mission
  1. People
Person
AGUZZOLI STEFANO

AGUZZOLI STEFANO

PROFESSORE ASSOCIATO
Dipartimento di Informatica Giovanni Degli Antoni

Gruppo 01/INFO-01 - INFORMATICA

Settore INFO-01/A - Informatica
  • Contacts
  •  stefano.aguzzoli@unimi.it
  •  University Address Book
  •  02503 16356
  • Research Areas
  • Projects
  • Publications
  • Scientific Awards And Assignments
  • Other Activities
  • Cv

Fields (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)

Research overview (2)

Many-valued logic: algebraic, semantics, computational aspects (2014 - )
Probability of non-classical events (2014 - )
No Results Found

Funded research (8)

  • ascending
  • descending
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
Project
Scientific Manager
2016
6 months
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
Project
Scientific Manager
2018
6 months
Logiche non classiche nella specificazione e verifica dei programmi 
PUR20062008 - PUR 2006-2008
Project
participant
2006
Mathematical Tools for the Management of Uncertain and Vague Information 
7PQ_MC_IR - 7 Programma Quadro_Marie Curie IRSES
Project
Scientific Manager
2011
36 months
Metodi logici e algoritmici nella analisi, specifica e verifica di sistemi. 
PUR90 - PUR 90%
Project
participant
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)
Project
Scientific Manager
2016
36 months
Tecniche logiche nella specifica e verifica formale di sistemi 
PUR20062008 - PUR 2006-2008
Project
participant
2008
Tecniche logiche nella specifica e verifica formale di sistemi. 
PUR20062008 - PUR 2006-2008
Project
participant
2007
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} of {itemsNumber}

Publications (82)

  • ascending
  • descending
  • All
  • All
  • Open
  • Partially Open
  • Mixed
  • Embargoed
  • Reserved

Conferences (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

Doctoral Boards (14)

  • ascending
  • descending
Università degli Studi di MILANO - INFORMATICA-2021 (cycle: 37 - Year: 2021 2021 )
Università degli Studi di MILANO - INFORMATICA-2020 (cycle: 36 - Year: 2020 2020 )
Università degli Studi di MILANO - INFORMATICA-2019 (cycle: 35 - Year: 2019 2019 )
Università degli Studi di MILANO - INFORMATICA-2018 (cycle: 34 - Year: 2018 2018 )
Università degli Studi di MILANO - INFORMATICA-2017 (cycle: 33 - Year: 2017 2017 )
Università degli Studi di MILANO - INFORMATICA-2016 (cycle: 32 - Year: 2016 2016 )
Università degli Studi di MILANO - INFORMATICA-2015 (cycle: 31 - Year: 2015 2015 )
Università degli Studi di MILANO - INFORMATICA-2014 (cycle: 30 - Year: 2014 2014 )
Università degli Studi di MILANO - INFORMATICA-2013 (cycle: 29 - Year: 2013 2013 )
Università degli Studi di MILANO - INFORMATICA-2012 (cycle: 28 - Year: 2012 2012 )
Università degli Studi di MILANO - INFORMATICA-2011 (cycle: 27 - Year: 2011 2011 )
Università degli Studi di MILANO - INFORMATICA-2010 (cycle: 26 - Year: 2010 2010 )
Università degli Studi di MILANO - INFORMATICA-2009 (cycle: 25 - Year: 2009 2009 )
Università degli Studi di MILANO - INFORMATICA-2008 (cycle: 24 - Year: 2008 2008 )
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} of {itemsNumber}

Tutoring (2)

tutorship - Assegnisti/e - BIANCHI MATTEO
tutorship - Assegnisti/e - 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
  • Guide
  • Help
  • Accessibility
  • Privacy
  • Use of cookies
  • Legal notices

Powered by VIVO | Designed by Cineca | 26.4.0.0