Teaching : Teaching activities, msc theses, etc.
- Artificial Intelligence: Teaching Assistant, academic years 2004/2005, 2005/2006, and 2006/2007. Computer Engineering Faculty, University of Genova.
- Basics of Computer Science: Teaching Assistant, academic years 2003/2004, 2004/2005.
In year 2005 I co-supervised Lorenzo Platania, who wrote a master's thesis about Bounded Model Checking of Software using SMT Solvers. Lorenzo also got his Ph.D. at the AI-Lab.