Scholar
Claudio Sacerdoti Coen
Google Scholar ID: PN7QKhQAAAAJ
University of Bologna
Citations & Impact
Citations
506
H-index
14
i10-index
17
Publications
20
Co-authors
38
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers in international journals, including 'On the Value of Variables' (Information and Computation, 2017), 'A Survey on Retrieval of Mathematical Knowledge' (Mathematics in Computer Science, 2016), 'Matita Tutorial' (Journal of Formalized Reasoning, 2014), 'A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions' (Logical Methods in Computer Science, 2012), 'Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover' (Journal of Automated Reasoning, 2012), 'Lebesgue's dominated convergence theorem in Bishop's style' (Annals of Pure and Applied Logic, 2012), etc.
Research Experience
- Associate Professor in Computer Science at the Department of Computer Science, University of Bologna. Main research areas are Mathematical Knowledge Management and Interactive Theorem Proving.
Education
- Ph.D. Doctor in Computer Science
Background
- Research interests include: Mathematical Knowledge Management, Interactive Theorem Proving, Logical frameworks (particularly the Calculus of (Co)Inductive Constructions), Proof-Assistants (especially Coq and Matita), Applications of interactive theorem provers to didactics (led the DAMA project), Constructive mathematics, Proof-Assistant interfaces and proof rendering, Markup languages and related tools (particularly XML, XHTML, MathML, XSLT, XPath), and Functional languages (particularly OCaml). Main line of research is the study of the integration of XML-based Mathematical Knowledge Management technologies with Interactive Theorem Proving.
Miscellany
- Birth place: Bologna (IT); Birth date: 12/07/1976; Contact: Telephone +39 051 2094973, Fax +39 051 2094510 / +39 051 2094983, Email sacerdot@cs.unibo.it; Office: via Mura Anteo Zamboni n. 7, 40126, Bologna (IT)
