Dr. Silvio Ghilardi
Affiliations:
Dipartimento di Matematica, Università degli Studi di Milano, Italy
Research Interests:
Mathematical logic, category theory, automated reasoning
Email:
silvio.ghilardi at unimi.it
Websites:
https://homes.di.unimi.it/ghilardi/
