Franco BARBANERA
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 (Bologna, 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), Ivan Lanese (Bologna, Italy), Emilio Tuosto (GSSI, Italy)..
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. dal 2007/2008 al 2011/2012
Corso di Fondamenti di Informatica,
Laurea di primo livello in Informatica, Universit\a`{a} di Catania; a.a. dal 2010/2011 a oggi.
Corso di Fondamenti e Linguaggi per la Programmazione Distribuita,
Laurea di primo livello in Informatica, Universita' di Catania; a.a. dal 2015/2016 a 2022/2023
Corso di Functional and Concurrent Programming Principles
Laurea Magistrale in Informatica, Universita' di Catania; a.a. dal 2023/2024 a oggi
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
Anno accademico 2021/2022
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA M - Z - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA
Anno accademico 2020/2021
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA
Anno accademico 2019/2020
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA
Anno accademico 2018/2019
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA
Anno accademico 2017/2018
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA
Anno accademico 2016/2017
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA
Anno accademico 2015/2016
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA
Metodi formali per computazioni concorrenti e distribuite
TUTORATO di Fondamenti di Informatica da Ottobre 2024 a Febbraio 2025
Allo scopo di fornire un aiuto agli studenti che ancora non avessero sostenuto l'esame di Fondamenti di Informatica, e' stato istituito un tutorato che si svolgera' nel periodo Ottobre 2024-Febbraio 2025.
Il tutorato sara' tenuto dal dott. A. Moschetto.
Il primo incontro si terra' in Aula 2 il giorno 2 ottobre 2024 dalle 15:00 alle 17:00.
L'organizzazione del tutorato sara' il piu' possibile flessibile e verra' descritta durante il primo incontro, a cui tutti gli interessati sono invitati a partecipare.