Cerca
Menu
Foto del docente

Claudio Sacerdoti Coen

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Coordinatore del Corso di Laurea in 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)

Ultimi avvisi

Tutti gli avvisi RSS