Dr. Silvio Ghilardi, Dipartimento di Matematica, Università degli Studi di Milano, Italy
 

Research Interests: 

Mathematical logic, category theory, automated reasoning