# ::Teaching Activities::

## Activities as professor

This is a list of courses I taught at Università dell'Insubria in Como (UniCO) and in Varese (UniVa) and at Politecnico di Milano in Milan (PoliMi), in Como (PoliCo), in Cremona (PoliCr), online (PoliIOL), and at Kennesaw State University in Marietta, GA (Ken).

### Spring 2015

- [Ken]
- SWE 6673 Software Quality Engineering, Assurance and Testing
- [Ken]
- Theoretical Computer Science

### Academic Year 2013-2014

- [UniVa]
- Algorithms and data structures

### Academic Year 2012-2013

- [UniVa]
- Requirements Engineering
- [PoliCo]
- Theoretical Computer Science
- [ECI]
- Specifying and Monitoring (Fuzzy Temporal) Requirements for Service Compositions - July 2013 - ECI Winter School (Buenos Aires)

### Academic Year 2011-2012

- [UniVa]
- Validation and Verification
- [PoliCo]
- Theoretical Computer Science
- [PoliIOL]
- Theoretical Computer Science

### Academic Year 2010-2011

- [UniVa]
- Algorithms and Data Structures

### Academic Year 2009-2010

- [UniCo]
- Computer and Network Architecture
- [UniCo]
- Complements on Computer and Network Architecture
- [UniCo]
- Algorithms and Data Structures II, module on graphs
- [PoliMi]
- Theoretical Computer Science
- [PoliMi]
- Foundations of Computer Science and Programming

(for mechanical engineers)

### Academic Year 2008-2009

- [UniCo]
- Computer and Network Architecture
- [UniCo]
- Complements on Computer and Network Architecture
- [PoliMi]
- Theoretical Computer Science
- [PoliMi]
- Foundations of Computer Science and Programming

(for mechanical engineers)

### Academic Year 2007-2008

- [UniCo]
- Automata Theory and Formal Languages I and II
- [UniCo]
- Computational Logic I and II
- [PoliCr]
- Programming Languages, Algorithms and Data Structures
- [PoliMi]
- Foundations of Computer Science and Programming

(for business engineers)

### Academic Year 2006-2007

- [UniCo]
- Computational Logic II
- [PoliCr]
- Programming Languages, Algorithms and Data Structures
- [PoliMi]
- Foundations of Computer Science and Programming

(for aerospace engineers)

### Academic Year 2005-2006

- [PoliMi]
- Foundations of Computer Science and Programming

(for electrical engineers)

## Seminars and activities as teaching assistant

I was teaching assistant for and gave seminars at the following courses at Università dell'Insubria in Como (UniCO) and in Varese (UniVa), at Politecnico di Milano in Milan (PoliMi), in Como (poliCo), in Cremona (PoliCr) and online (PoliIOL), and at Università degli studi di Milano (UniMi).

### Academic Year 2011-2012

- [UniVa]
- Computer and network architecture, Prof. L. Lavazza
- [PoliMi]
- Theoretical Computer Science, Prof. D. Mandrioli
- [PoliMi]
- Algorithm and Data Structures, Prof. D. Mandrioli
- [PoliMi]
- Theoretical Computer Science, Prof. A. Morzenti
- [PoliMi]
- Formal Methods, Prof. D. Mandrioli

### Academic Year 2010-2011

- [UniVa]
- Computer and Network Architecture, Prof. L. Lavazza
- [PoliMi]
- Formal Methods, Prof. D. Mandrioli

### Academic Year 2009-2010

- [PoliMi]
- Programming Languages, Algorithm and Data Structures,

Prof. A. Campi - [PoliMi]
- Algebra and Logic 2, Prof. A. Cherubini
- [PoliMi]
- Formal Methods, Prof. D. Mandrioli

### Academic Year 2008-2009

- [PoliMi]
- Programming Languages, Algorithm and Data Structures,

Prof. A. Campi - [PoliMi]
- Algebra and Logic 2, Prof. A. Cherubini
- [PoliMi]
- Formal Methods, Prof. D. Mandrioli

### Academic Year 2007-2008

- [PoliMi]
- Algebra and Logic 2, Prof. A. Cherubini

### Academic Year 2006-2007

- [PoliMi]
- Theoretical Computer Science, Prof. D. Mandrioli
- [PoliMi]
- Algebra and Logic 2, Prof. A. Cherubini

### Academic Year 2005-2006

- [UniCo]
- Seminar on Computational Logic II, Prof. R. Walters
- [UniMi]
- Seminar on Model Checking, Prof. S. Ghilardi
- [PoliMi]
- Software Engineering 2, Prof. C. Ghezzi
- [PoliMi]
- Software Engineering 2, Prof. E. Di Nitto
- [PoliMi]
- Programming Languages, Algorithms and Data Structures,

Prof. M. Matera - [PoliCr]
- Programming Languages, Algorithms and Data Structures,

Prof. D. Mandrioli - [PoliMi]
- Theoretical Computer Science, Prof. D. Mandrioli
- [PoliMi]
- Algebra and Logic 2, Prof. A. Cherubini

### Academic Year 2004-2005

- [PoliMi]
- Algebra and Logic 1, Prof. A. Cherubini
- [PoliCr]
- Programming Languages, Algorithms and Data Structures,

Prof. D. Mandrioli - [PoliMi]
- Theoretical Computer Science, Prof. D. Mandrioli
- [PoliMi]
- Algebra and Logic 2, Prof. A. Cherubini

### Academic Year 2003-2004

- [PoliMi]
- Algebra and Logic 1, Prof. S. Adami
- [PoliCo]
- Programming, Prof. C. Silvano
- [PoliCr]
- Programming Languages, Algorithms and Data Structures,

Prof. D. Mandrioli - [PoliMi]
- Theoretical Computer Science, Prof. D. Mandrioli

### Academic Year 2002-2003

- [PoliCr]
- Programming Languages, Algorithms and Data Structures,

Prof. D. Mandrioli - [PoliMi]
- Theoretical Computer Science, Prof. D. Mandrioli

### Academic Year 2001-2002

- [PoliCr]
- Programming Languages, Algorithms and Data Structures,

Prof. D. Mandrioli

## Other teaching activities

I was lab assistant for the course of *Algebra and Logic 1* at Politecnico di Milano in the accademic years 2002-2003, 2004-2005 and 2005-2006, and online tutor for the online bachelor degree of Politecnico di Milano for the following courses: *Software Engineering* from 2003 to 2008, *Algorithms and Data Structures* from 2003 to 2001, and *Algorithms and Theoretical Foundations of Computer Science* from 2009 to 2012.

Moreover, I was advisor or co-advisor of several Bachelor and Master theses, tutor for Master projects, and I have prepared and recorded the online classes for the module on Theoretical Computer Science of the Algorithms and Foundations of Computer Science course of the online degree in Computer Engineering of Politecnico di Milano.