Attività didattiche passate
Esercitazioni e docenza in corsi universitari
- Ciclo di seminari su "Il Nucleo di un Sistema Operativo a
processi" nell'ambito del corso di Sistemi per l'Elaborazione
dell'Informazione II del C.d.L. in Scienze dell'Informazione
dell'Università di Pisa (Prof. D.P.Bovet) (Aprile e Maggio '78).
- Esercitazioni al corso di Sistemi per l'Elaborazione
dell'Informazione II del C.d.L. in Scienze dell'Informazione
dell'Università di Pisa relative al "Nucleo di un Sistema Operativo
a processi" e alla "Programmazione Concorrente" - esercitazioni svolte in
qualità di assistente "ad horas" (Nov. '79 - Giugno '81).
- Esercitazioni al corso di Sistemi per l'Elaborazione
dell'Informazione II del C.d.L. in Scienze dell'Informazione
dell'Università di Torino relative a "Il Sistema Operativo
Unix" - esercitazioni svolte in qualità di ricercatore presso il
Dipartimento di Informatica di Torino (Nov. '83 - Febbr. '89).
- Docente titolare del corso di Sistemi per l'Elaborazione
dell'Informazione II del C.d.L. in Scienze dell'Informazione
dell'Università di Udine (Marzo '89 - Nov. '91).
- Docente titolare del corso di Metodi per il Trattamento
dell'Informazione del C.d.L. in Scienze dell'Informazione
dell'Università di Bologna, sede di Cesena (Nov. '91 - Nov. '93)
- Docente titolare del corso di Linguaggi Formali e
Compilatori del C.d.L. in Scienze dell'Informazione
dell'Università di Bologna, sede di Cesena (Nov. '92 - Ott. '93).
Cicli di lezioni, seminari per corsi di dottorato
- Ciclo di lezioni sul tema "Linguaggi per la programmazione
logica" per il corso di dottorato in Informatica (II ciclo),
consorzio Università di Torino e di Milano (Maggio e Giugno '86).
- Seminari sul tema "Unificazione e sue estensioni"
per il corso di dottorato in Matematica Applicata e Informatica
Matematica dell'Università di Padova (Marzo. '88).
Altri corsi
- Lezioni sul tema "Linguaggi ed Ambienti per l'Intelligenza
Artificiale", nell'ambito del corso su "Intelligenza Artificiale e
Sistemi Esperti", tenuto presso il C.S.I. Piemonte (Apr. '85 e Nov. '85).
- Lezioni di introduzione all'Informatica svolte nell'ambito
dell'iniziativa "Laboratorio di Informatica" dell'ARCI di Torino
('85).
- Lezioni sul tema "Strutturazione a livelli di un Sistema di
Elaborazione" per conto di ELEA Ivrea (Febbraio '86).
- Ciclo di lezioni su "Il linguaggio Ada" per conto della
Società Italiana Avionica (SIA) di Torino (Giugno '86).
- Ciclo di lezioni sui temi "Linguaggi funzionali e LISP" e
"Linguaggi logici e Prolog" nell'ambito del "Master di
Intelligenza Artificiale" tenuto dal C.S.I. Piemonte in collaborazione
con il Dipartimento di Informatica dell'Università di Torino
(Maggio '87).
- Corso (40 ore) su "Linguaggi di Programmazione" per conto
dell'IRRSAE di Torino (in collaborazione con Prof. A.Martelli)
(Maggio '88).
- Lezioni su "Linguaggi di programmazione" per il corso di perfezionamento
per insegnanti di matematica tenuto presso il Dipartimento di Matematica
dell'Università di Parma
(Febbr. '97 e Febbr. '98).
- Corso (20 ore) su "Il linguaggio C" presso il Liceo
"Eminescu" di Balti (Moldavia) (Luglio '98).
-
"L'Informatica domani: Prospettive future e futuribili".
Lucidi
della lezione tenuta presso l'Università degli anziani di Parma,
il 2 febbraio 2001.