Foto del docente

Claudio Sacerdoti Coen

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Collaborations

Collaboration with:: Jacobs University Bremen
Country:: Germany
Description:: He collaborates on Mathematical Knowledge Management and he participates to the definition of the OMDoc standard for mathematical documents.

Collaboration with:: Institute National de Recherche en Informatique et en Automatique
Country:: France
Description:: Since my Post-Doc period, I collaborate at the development of the interactive theorem prover Coq.

Formal collaboration with:: Università degli Studi di PADOVA
Country:: Italy
Description:: He is member of a project of the University of Padua finalized at the development of formal topology and its implementation using the interactive theorem prover Matita, developed at the University of Bologna.

Formal collaboration with:: Universite' Paris-Diderot
Country:: France
Description:: Partner of the european project FET 243881 CerCo (Certified Complexity)

Formal collaboration with:: University of Edinburgh
Country:: United Kingdom
Description:: Partner of the european project FET 243881 CerCo (Certified Complexity)