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.
