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
matteo.bianchi@unimi.it
Rubrica di Ateneo
Aree Di Ricerca
Progetti
Pubblicazioni
Cv
Settori (12)
Settore ERC
PE1_1 - Logic and foundations - (2016)
PE1_13 - Probability - (2016)
PE1_13 - Probability and statistics - (2008)
PE1_14 - Combinatorics - (2008)
PE1_16 - Mathematical aspects of computer science - (2016)
PE1_2 - Algebra - (2016)
PE6_7 - Theoretical computer science including quantum information - (2008)
PE6_8 - Intelligent systems - (2008)
SH4_10 - Philosophy of mind, epistemology and logic - (2013)
SH4_11 - Epistemology, logic, philosophy of science - (2008)
SH4_5 - Formal, cognitive, functional and computational linguistics - (2008)
SH4_8 - Use of language: pragmatics, sociolinguistics, discourse analysis - (2008)
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 (28)
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