Scheda docente


Franco BARBANERA

Ruolo: Associato
Settore Scientifico Disciplinare: INF/01 - INFORMATICA
Sede: SEDI DI CATANIA V.le A. Doria, 6
Ufficio: Ufficio MII-42 Dipartimento di Matematica e Informatica, Università di Catania, Viale A. Doria, 6 I-95125 Catania, Italy
Telefono: 095 7383005
E-mail: barba@dmi.unict.it
Orario di ricevimento: http://www.dmi.unict.it/~barba/Architetture.html/DOCS/orario-ricevimento.html
Sito web: Link


  • Note biografiche:

    Born in Latina (Italy), November 3rd  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.

  • Attività:

    -

  • Pubblicazioni:

    LinkElencoPubblicazioni

  • Note:

    -

    Ultimi 5 avvisi

    - Per gli avvisi il docente utilizza il Forum di Informatica: http://forum.informatica.unict.it/

     





    Clicca qui per accedere all'area riservata