Foto del docente

Claudio Sacerdoti Coen

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Useful contents

Project FET IST-2001-33562 MoWGLI (Math on the Web, Get it by Logic and Interfaces)

Strategic Project DAMA (Dimostrazione Assistita per la Matematica e l'Apprendimento, Interactive Proving for Mathematics and Learning)

The interactive theorem prover Matita.

FET Project CerCo (Certified Complexity)

Project HELM (Hypertextual Electronic Library of Mathematics)