Logo Single Sign-On di Ateneo Login
Cerca
  • IT
  • EN
Menu
  • Home
  • Curriculum vitae
  • Publications
  • Teaching
  • Research
  • Collaborations
  • Useful contents
  • News
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

Useful contents

Loading ...

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)

Latest news

  • Obbligo di iscrizione agli esami su AlmaEsami

    Published on: January 26 2014

View all RSS

Restricted area

Login to manage all website contents.

© 2023 - ALMA MATER STUDIORUM - Università di Bologna - Via Zamboni, 33 - 40126 Bologna - Partita IVA: 01131710376
Privacy | Legal Notes | Cookie Settings