Dr. Silvio Ghilardi

Affiliations: 

Dipartimento di Matematica, Università degli Studi di Milano, Italy
 

Research Interests: 

Mathematical logic, category theory, automated reasoning

Websites:

https://homes.di.unimi.it/ghilardi/