Foto del docente

Claudio Sacerdoti Coen

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Director of First Cycle Degree in Computer Science

Curriculum vitae

Doc. Claudio Sacerdoti Coen was born in Bologna on the 12/07/1976. He got his master degree in Computer Science on the 12/10/2000 from the University of Bologna, winning the Rotary Club Award for the Best Curriculum among all master students of the Science faculty in 1999/2000. Then he spent three monthes as a research fellow at the Institut National de Recherche en Automatique et en Informatique (INRIA), Unite' de recherche Rocquencourt (Paris), and two more as a scientific consultant at the Institut National de Recherche en Automatique et en Informatique (INRIA), Unite' de recherche Sophia-Antipolis (Antibes). Then he became a PhD. Student in Computer Science at the University of Bologna, getting his degree on the 21/04/2004. From July 2004 to May 2005 he was a Post-Doc at the Institut National de Recherche en Informatique et en Automatique (INRIA), Unite' de recherche INRIA Futurs (Paris). From the 06/06/2005 to the 14/09/2014 he is a Lecturer (Ricercatore) at the University of Bologna. He became Associate Professor at the Department of Computer Science and Enginnering the 15/09/2005.

He is the author of several papers in journals and proceedings of international conferences. His research topics are Mathematical Knowledge Management and Interactive Theorem Proving. He was a member of several research national and European research projects, also being Package Leader for the European Project FET IST-2001-33562 MoWLI (Math on the Web: Get it by Logic and Interfaces). From May 2006 to April 2009 he has coordinated the Strategic Project DAMA (Dimostrazione Assistita per la Matematica e l'Apprendimento, i.e. Interactive Proving for Math and Learning). Since 01/02/2010 he is the International Coordinator for the European Project FET ICT-2007.8.0 243881 CerCo (Certified Complexity). He is one of the main developers of the interactive theorem prover Matita.