Franco BARBANERA

Professore associato di INFORMATICA [INF/01]

Ufficio: V.le A. Doria, 6 Ufficio MII-42 Dipartimento di Matematica e Informatica
Email: barba@dmi.unict.it
Telefono: 095 7383005
Fax: ++ 095 330094
Sito web: www.dmi.unict.it/~barba/
Orario di ricevimento: http://www.dmi.unict.it/~barba/Architetture.html/DOCS/orario-ricevimento.html

BIOGRAFIA
CURRICULUM
PUBBLICAZIONI
INSEGNAMENTI
ARCHIVIO AVVISI

Franco Barbanera, nato a Latina il 1963, è professore associato di Informatica presso l'Università di Catania dal 1998.
E' attualmente responsabile per l'internazionalizzazione e coordinatore dipartimentale Erasmus per il DMI.
Insegna nel corso di Laurea di Informatica e di Informatica Magistrale.
Svolge attività di ricerca nel settore della Type Theory.

Nato a Latina (Italy), Novembre 1963.

Istruzione e formazione:

Dottorato in Informatica Universita' di Torino and Milano, 1993.
Tesi di dottorato: The Witness, from classical proofs by means of reduction systems.
Supervisore: M. Dezani (Torino). Co-supervisore: S. Berardi (Torino).

Laurea in Scienze dell'Informazione, Universita' di Pisa, 1987.
Tesi di laurea: Intuitionismo e notione di formulae-as-types\/};
Supervisor G. Longo (Pisa).

Posizioni lavorative:
1 ovembre 1992 - 1 Novembre 1998: ricercatore presso il Dipartimento di Informatica dell'Universita' di Torino.

dal 1 November 1998: professore associato presso il Dipartimento di matematica e Informatica dell'Universita' di Catania.

Attivita' scientifica:
La ricerca scientifica di Franco Barbanera si e' focalizzata principalmente sullo studio dei fondamenti logico-matematici dei linguaggi di programmazione.
Il paradigma computazionale maggiormente studiato e' stato quello funzionale.

Recentemente i suoi interessi di ricerca si sono spostati verso i type system per calcoli per la computazione distribuita e verso i Session Types.
Durante la sua attivita' di ricerca Franco Barbanera ha collaborato con numerosi ricercatori:
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), R. Hennicker (Munich).

Attivita' didattica.

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. dal 2010/2011 al 2017/2018

Corso di Fondamenti e Linguaggi per la Programmazione Distribuita,
Laurea di primo livello in Informatica, Universita' di Catania; a.a. dal 2015/2016 al 2017/2018

Attivita' didattica all'estero

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

Pubblicazioni recenti:

Franco Barbanera, Mariangiola Dezani, Ugo de'Liguoro
Reversible client/server interactions
Formal Aspects of Computing, 28(4), 697-722, 2016.
DOI 10.1007/s00165-016-0358-2
Franco Barbanera, Ugo de'Liguoro
A Game Interpretation of Retractable Contracts
COORDINATION'16, Lecture Notes in Computer Science, Vol. 9686, 2016
DOI 10.1007/978-3-319-39519-7_2
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Orchestrated Session Compliance
Journal of Logical and Algebraic Methods in Programming
Volume 86, Issue 1,Pages 30-76, 2017
DOI 10.1016/j.jlamp.2016.08.002
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
Retractable and Speculative Contracts
Proceedings of COORDINATION'17, Lecture Notes in Computer Science, Springer, vol. 10319, pages 119--137, 2017
DOI 10.1007/978-3-319-59746-1_7
Franco Barbanera, Ugo de'Liguoro
Retractability, games and orchestrators for session contracts
Logical Methods in Computer Science, Volume 13, Issue 3, 2017.
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Intersection Types for the lambda-mu Calculus
Logical Methods in Computer Science, January 10, 2018, Volume 14, Issue 1
DOI:10.23638/LMCS-14(1:2)2018
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Global Types for Open Systems
to appear in Proceedings ICE'18, EPTCS.
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
A theory of retractable and speculative contracts
Science of Computer Programming, 2018
https://doi.org/10.1016/j.scico.2018.06.005

Informatica - 1 anno
FONDAMENTI DI INFORMATICA A - L
Informatica - 1 anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA

10/06/2019
Proroga bando tirocini NON Erasmus

E' stata prorogata la scadenza del bando “Programma di Ateneo per la mobilità internazionale outgoing visiting students” a.a.2018/2019, per l’attribuzione di borse di mobilità per studio e tirocinio destinate a studenti di tutti i livelli (di cui all'articolo 3 del presente bando) che siano