Persona

Ricerca finanziata (7)

Architetture software per sistemi distribuiti 
PUR90 - PUR 90%
Progetto
Partecipante
2009
COMPLESSITA' DESCRIZIONALE, COMBINATORIA E LINGUAGGI 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2008
LINGUAGGI FORMALI, COMBINATORIA E COMPLESSITA' DESCRIZIONALE  
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2007
Linguaggi formali, combinatoria e complessità descrizionale 
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
Partecipante
2011
36 mesi
Ordered Algebraic Structures in Game Theory 
7PQ_MC - 7 Programma Quadro_Marie Curie ITN_IEF_IOF_IIF_IAPP
Progetto
Responsabile scientifico
2014
24 mesi
TEORIA DELLA PROBABILITA' DI EVENTI NON CLASSICI 
FIRB-FiR10 - FIRB bando Futuro in Ricerca 2010
Progetto
Responsabile scientifico
2012
48 mesi
No Results Found

Pubblicazioni (75)

Congressi (2)

Program chair (presidente/responsabile del comitato scientifico) - Topology, Algebra, and Categories in Logic 2015 (TACL2015) (01/01/2015 - )
Program chair (presidente/responsabile del comitato scientifico) - ManyVal 2013 - Games, Decisions, and Rationality (Co-chair dello Steering Committee e co-fondatore della serie) (01/01/2013 - )
No Results Found

Collegi di dottorato (16)

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 - INFORMATICA-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 )
No Results Found

Tutoraggio (4)

tutorship - Dottorandi - SIOLI CATERINA
tutorship - Dottorandi - ABBADINI MARCO
tutorship - Assegnisti - VAN GOOL SAMUEL JACOB
tutorship - Assegnisti - KROUPA TOMAS
No Results Found

Public Engagement

Partecipazione dello staff docente a trasmissioni radiotelevisive a livello nazionale e internazionale (Altro) - Giornata Mondiale della Logica UNESCO - UNESCO World Logic Day. Tavola rotonda: "La logica: pensiero, scienza e società" organizzata dall'AILA (Associazione Italiana di Logica e Applicazioni
Dipartimento di Matematica Federigo Enriques
No Results Found