Teaching
Courses held at the University of Genova:
Invited Lectures:
- Lecture on Automatic Validation of Internet Security
Protocols, AEOLUS Summer School on Global Computing,
September 20, 2007, Salerno, Italy.
- Lecture on
Decision Procedures for Automated Verification,
Scuola Estiva di Logica, September 5, 2006,
Palazzo Feltrinelli, Gargnano, Italy.
- Lecture series on the Integration of Decision Procedures in Automated
Reasoning, CALCULEMUS Autumn School, September 30 -
October 1, 2002, Pisa.