Skip to Main Content (Press Enter)
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
☰
Persone
Persona
BIANCHI MATTEO
Posizione:
RICERCATORE A TEMPO DETERMINATO
Dipartimento:
Dipartimento di Informatica Giovanni Degli Antoni
Gruppo Scientifico Disciplinare
Gruppo 01/INFO-01 - INFORMATICA
SSD
Settore INFO-01/A - Informatica
Contatti
Via celoria 18, , 20133 Milano Italia
matteo.bianchi@unimi.it
Rubrica di Ateneo
Aree Di Ricerca
Progetti
Pubblicazioni
Cv
Settori (9)
Settore ERC
PE1_1 - Logic and foundations - (2013)
PE1_1 - Logic and foundations - (2016)
PE1_13 - Probability - (2013)
PE1_13 - Probability - (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)
SH4_10 - Philosophy of mind, epistemology and logic - (2013)
Parole chiave (4)
Pulisci
Ordina Parole Chiave:
crescente
decrescente
COMPUTATIONAL ASPECTS OF MANY-VALUED LOGICS
MANY-VALUED LOGICS
PROBABILITY THEORY OF NON-CLASSICAL EVENTS
VARIETIES OF RESIDUATED LATTICES
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
2 per pagina
3 per pagina
10 per pagina
vedi tutti
Ricerca finanziata (2)
Metodi logici e algoritmici nella analisi, specifica e verifica di sistemi.
PUR90 - PUR 90%
Progetto
Partecipante
2009
Tecniche logiche nella specifica e verifica formale di sistemi
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2008
No Results Found
Pubblicazioni (29)
Pulisci
Ordina Anno:
crescente
decrescente
Filtra per Pubblicazioni:
Tutti
Filtra per tipo accesso:
All
Open
Partially Open
Mixed
Embargoed
Reserved
3 per pagina
10 per pagina
30 per pagina
Pdf
matteo_bianchi.pdf
