Il mercoledì dalle 14:30 alle 16:30 durante lo svolgimento dei corsi oppure su appuntamento.

È gradito un messaggio email di preavviso.

In caso di necessità, inviare una email per concordare un appuntamento fuori dall'orario di ricevimento.

• Nato a Firenze nel 1971.
• Laureato in Matematica presso l'Università di Firenze nel 1994.
• Dottorato di ricerca in Matematica presso l'Università di Firenze nel 2000 (tesi in Geometria Algebrica).
• Postdoc e alte posizioni di ricerca a tempo determinato (nel periodo dal 2000 al 2005):
  • Università di Milano
  • Università di Firenze,
  • Università di Nizza (Francia),
  • CNRS (Nizza, Francia).
• Ricercatore in Matematica (Geometria) presso il dipartimento di Matematica e Informatica dell'Università di Firenza dal 2005.

Geometria, calcolo scientifico.

Fondamenti della matematica, dimostrazione formale.

Calcolo simbolico, dimostrazione interattiva.

• Born in Florence (Italy) in 1971.
• Graduation in Mathematics from the University of Florence in 1994.
• PhD in Mathematics from the University of Florence in 2000 (dissertation in Algebraic Geometry).
• Post doc positions and other temporary research positions (2000-2005):
  • University of Milan (Italy),
  • University of Florence (Italy),
  • University of Nice (France),
  • CNRS (Nice, France).
• Researcher in Matematics (Geometry) at the Dept. of Mathematics and Computer Science of the University of Florence, since 2005.

Geometry, scientific calculus.

Foundations of Mathematics, formal proofs.

Symbolic calculus, interactive theorem proving.