Dr. Silvio Ghilardi, Dipartimento di Matematica, Università degli Studi di Milano, Italy
Research Interests:
Mathematical logic, category theory, automated reasoning