Skip to Main Content (Press Enter)
×
Home
People
Projects
Fields
Units
Outputs
Third Mission
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
People
Projects
Fields
Units
Outputs
Third Mission
☰
People
Person
BIANCHI MATTEO
Positions:
RICERCATORE A TEMPO DETERMINATO
Academic Department:
Dipartimento di Informatica Giovanni Degli Antoni
GSD
Gruppo 01/INFO-01 - INFORMATICA
Academic field
Settore INFO-01/A - Informatica
Contacts
Via celoria 18, , 20133 Milano Italia
matteo.bianchi@unimi.it
University Address Book
Research Areas
Projects
Publications
Cv
Fields (9)
ERC field
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)
Keywords (4)
Clear
Sort by Keywords:
ascending
descending
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} of {itemsNumber}
2 per page
3 per page
10 per page
view all
Funded research (2)
Metodi logici e algoritmici nella analisi, specifica e verifica di sistemi.
PUR90 - PUR 90%
Project
participant
2009
Tecniche logiche nella specifica e verifica formale di sistemi
PUR20062008 - PUR 2006-2008
Project
participant
2008
No Results Found
Publications (29)
Clear
Sort by Year:
ascending
descending
Filter by Publications:
All
Filter by access type:
All
Open
Partially Open
Mixed
Embargoed
Reserved
3 per page
10 per page
30 per page
Pdf
matteo_bianchi.pdf
