Franco BARBANERA

Associate Professor of Informatics [INF/01]

Franco Barbanera, born in Latina on 1963, is associate professor at the University of Catania since 1998.

Internationalization responsible and departmental Erasmus coordinator for the DMI.

Teaching in I level and II level degrees in Computer Science.

Research interests: Type Theory.

 

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).

 

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

 

 

 

 

VIEW THE PUBLICATIONS
N.B. the number of publications can affect the loading time of the information
VIEW THE COURSES FROM THE A.Y. 2022/2023 TO THE PRESENT

Academic Year 2021/2022


Academic Year 2020/2021


Academic Year 2019/2020


Academic Year 2018/2019


Academic Year 2017/2018


Academic Year 2016/2017


Academic Year 2015/2016

Formal methods for concurrent and distributed computations