DIPARTIMENTO DI MATEMATICA E INFORMATICA
Università di Catania

Franco BARBANERA

Associate Professor

IDEFIX Here I am
Dipartimento di Matematica e Informatica,
Università di Catania,
Viale A. Doria, 6 I-95125 Catania, Italy
Phone: +39 095 7383005
E-mail: barbaATdmi.unict.it (AT=@)
office hours (ricevimento)

TEACHING:
"Nothing that is worth knowing can be taught" (O. Wilde)
- Fondamenti di Informatica. (Laurea triennale)
- Principles of Functional and Concurrent Programming.
  (Lauree Magistrale e Triennale-Curriculum "Comp. Theory and Quantum Alg.")
- OLD Courses:
- Consigli per preparazione presentazioni.
RESEARCH:
- Interests: Type theory, Logics
- Publications