AI-Lab

Jacopo Mantovani

Teaching : Teaching activities, msc theses, etc.

• Software Technologies for the Web: Teaching Assistant, Academic Year 2007/2008. Computer Engineering Faculty, University of Genova.

• 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.

---

Powered by UHP2 1.5 - Free version please visit our site to upgrade
© Copyright 2007 Ravenswood IT Services