Research on "Formal Methods in Computing"
Maddalena Zacchi
Associate professor
Dipartimento di Informatica,
Università di Torino,
Corso Svizzera 185, 10149 Torino, Italy
Phone: +39 011 6706712
Fax: +39 011 751603
E-mail: zacchi@di.unito.it
RESEARCH:
- Interests
- Lambda-calculus
- Type theories
DIDATTICA
orario di
ricevimento: mercoledì,
ore 14.00 - 16.00
- "Algoritmi
e
Strutture
Dati II" (a.a. 2000-2001) - Vecchio
Ordinamento -
- "Algoritmi II" (a.a. 2007-2008) - Documentazione su MOODLE
- "Linguaggi
e Ambienti di
Programmazione" (a.a. 2007-2008) - Documentazione su MOODLE
- Corso
di
"Informatica
Applicata" (a.a. 2005-2006)
|