Foto del docente

Claudio Sacerdoti Coen

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A Informatica

Collaborazioni

Collaborazione con:: Jacobs University Bremen
Paese:: Germania
Descrizione:: Collabora su temi di Mathematical Knowledge Management e partecipa alla definizione dello standard OMDoc per i documenti matematici.

Collaborazione con:: Institute National de Recherche en Informatique et en Automatique
Paese:: Francia
Descrizione:: Continuo la collaborazione instaturata durante il periodo di Post-Doc e finalizzata allo sviluppo del sistema di dimostrazione interattiva Coq.

Collaborazione formale con:: Università degli Studi di PADOVA
Paese:: Italia
Descrizione:: Partecipa a un progetto dell'Universita' di Padova finalizzato allo sviluppo della topologia formale e alla sua implementazione tramite il dimostratore interattivo di teoremi Matita, sviluppato presso l'Universita' di Bologna.

Collaborazione formale con:: Universite' Paris-Diderot
Paese:: Francia
Descrizione:: Partner del progetto europeo FET 243881 CerCo (Certified Complexity)

Collaborazione formale con:: University of Edinburgh
Paese:: Gran Bretagna e Irlanda del Nord
Descrizione:: Partner del progetto europeo FET 243881 CerCo (Certified Complexity)