Foto del docente

Claudio Sacerdoti Coen

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Curriculum vitae

Il Dott. Claudio Sacerdoti Coen e' nato a Bologna il 12/07/1976. Si laurea in Informatica il 12/10/2000 presso l'Universita' degli Studi di Bologna ed  e' insignito del Premio Rotary Club come Miglior Curriculum dei laureati della Facolta' di Scienze Matematiche Fisiche e Naturali, anno accademico 1999/2000. Passa poi tre mesi come borsista presso l'Institut National de Recherche en Automatique et en Informatique (INRIA), Unite' de recherche Rocquencourt (Parigi), seguiti da altri due mesi come consulente scientifico presso l'Institut National de Recherche en Automatique et en Informatique (INRIA), Unite' de recherche Sophia-Antipolis (Antibes). Vince poi una borsa di studio di dottorato, conseguendo il titolo di Dottore di Ricerca in Informatica il 21/04/2004 presso l'Universita' degli Studi di Bologna. Da luglio 2004 a maggio 2005 e' Post-Doc presso l'Institut National de Recherche en Informatique et en Automatique (INRIA), Unite' de recherche INRIA Futurs (Parigi). Dal 06/06/2005 al 14/09/2014  è Ricercatore presso l'Universita' di Bologna. Il 15/09/2014 prende servizio come Professore Associato presso il Dipartimento di Informatica - Scienza e Ingegneria.

Al suo attivo ha numerose pubblicazioni su riviste o proceeding di convegni internazionali nel campo del Mathematical Knowledge Management e della Dimostrazione Interattiva di Teoremi. Ha partecipato a numerosi progetti di ricerca a livello nazionale ed europeo, ricoprendo la figura di Package Leader per il progetto europeo FET IST-2001-33562 MoWGLI (Math on the Web: Get it by Logic and Interfaces). Dal maggio 2006 all'aprile 2009 ha coordinato il Progetto Strategico di Ateneo DAMA (Dimostrazione Assistita per la Matematica e l'Apprendimento). Dal 01/02/2010 e' Coordinatore Internazionale del progetto europeo FET ICT-2007.8.0 243881 CerCo (Certified Complexity).  E' uno degli sviluppatori principali del dimostratore interattivo di teoremi Matita.