Franco BARBANERA

Born in Latina (Italy), November 1963.

Ph.D in Computer Science, Universities of Torino and Milano, 1993.
Thesis:  The Witness, from classical proofs by means of reduction systems.
Supervisor: M. Dezani (Torino). Co-supervisor: S. Berardi (Torino).

Master degree in Computer Science, University of Pisa, 1987.
Master Thesis: Intuitionism and notion of formulae-as-types\/};
Supervisor G. Longo (Pisa).

Positions:
November 1st 1992 - November 1st 1998: Research Assistant at the Department
of Computer Science of the University of Torino.

From November 1st 1998: Associate Professor at the Department of Mathematics
and Computer Science of the University of Catania.

Scientific activities
In general, the research interests of Franco Barbanera have been mainly focused
on the investigation of the mathematical and logical foundations
for the programming languages.
The computational paradigm mainly addressed has been the
functional one. His interests have recentely moved toward
type systems for calculi for distributed computing
and in particular towards Session Types.
During his research Franco Barbanera has collaborated
with several researchers:
F. Alessi (Udine, Italy), S. vanBakel (Imperial College, London),
S. Berardi (Torino, Italy),M. Dezani (Torino,Italy), M. Fernandez (Paris),
H. Geuvers (Nijmegen, The Netherlands), U. de' Liguoro (Torino, Italy),
S. Martini (Udine, Italy), Fer-Jan de Vries (UK),
Ali Aoun (Ankara, Turkey), Seref Mirasyedioglu (Ankara, Turkey),
C. Andersen (Imperial College, London),
S. Drossopoulou (Imperial College, London),
M. Bugliesi (Venice, Italy), V. Sassone (UK),
S. Capecchi (Torino, Italy), Rolf Hennicker (Munich)., Ivan Lanese (Bologna, Italy), Emilio Tuosto (GSSI, Italy).

Didactic activity:

Esercitazioni di Teoria e applicazioni delle macchine calcolatrici,
Laurea in Scienze dell'Informazione, Universita' di Torino; a.a. 1992/93, 1993/94.

Esercitazioni di  Metodi per il trattamento dell'informazione,
Laurea in Scienze dell'IInformazione, Universita' di Torino; a.a. 1994/95, 1995/96.

Corso di Laboratorio di Architetture degli Elaboratori,
Laurea in Scienze dell'Informazione, Universit\a' di Torino; a.a. 1996/97, 1997/98.

\Corso di Laboratorio di Architetture degli Elaboratori,
Laurea in Scienze dell'Informazione Seconda Facolta' di Scienze ALESSANDRIA dell'Universita' di Torino; a.a. 1996/97.

Corso di Architetture degli Elaboratori,
Laurea in Informatica, Universita' di Catania; a.a. 1998/99, 1999/2000, 2000/2001

Corso di Linguaggi di Programmazione II, primo modulo(linguaggi funzionali) ,
Laurea in Informatica, Universit\a`{a} di Catania; a.a. 1998/99, 1999/2000, 2000/2001, 2001/2002, 2002/2003

Corso di Architettura I e Laboratorio,
Laurea in Informatica I livello, Universita' di Catania; a.a. 2001/2002, 2002/2003, 2003/2004

Corso di Architettura degli Elaboratori,
Laurea in Informatica I livello, Universita' di Catania; a.a. 2004/2005, 2005/2006

Corso di Programmazione Funzionale,
Laurea Specialistica in Informatica, Universita' di Catania; a.a. 2004/2005, 2005/2006

Corso di Linguaggi di Programmazione,
Laurea Magistrale in Informatica, Universita' di Catania; a.a. 2010/2011, 2011/2012

Corso di Informatica Musicale,
Laurea di primo livello in Informatica, Universita' di Catania; a.a.  2007/2008, 2008/2009, 2009/2010, 2010/2011, 2011/2012

Corso di Fondamenti di Informatica,
Laurea di primo livello in Informatica, Universit\a`{a} di Catania; a.a. from 2010/2011 to Today

Corso di Fondamenti e Linguaggi per la Programmazione Distribuita,
Laurea di primo livello in Informatica, Universita' di Catania; a.a. from 2015/2016 to Today.

Didactic activity abroad:

Course CIS 410/510 (Logic for Computer Science),
Winter Term, University of Oregon (OR, USA), 2001.

Fallaforritunarmal (Functional Programming)
Dept. of Computer Science, University of Reykjavik, Winter 2003.

Second module of Functional Programming,
Dept. of Informatics, University of Sussex, Spring 2004

Second module of Computability and Complexity,
Dept. of Informatics, University of Sussex, Spring 2004

Formal methods for concurrent and distributed computations