Alessandro Fantechi

Dipartimento di Sistemi e Informatica
Universita' degli Studi di Firenze
via S. Marta 3
I-50139 FIRENZE
ITALY

+39-055-4796265 tel., direct
+39-055-4796257 tel., secr.
+39-055-4796363 fax

AlessandroFantechi is full professor of Computer Science Foundations at the Faculty of Engineering of the University of Florence and is a research associate at ISTI - Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" of CNR in Pisa, in the Formal Methods && Tools Group. He is the coordinator of the ERCIM Formal Methods for Industrial Critical Systems (FMICS).

Short curriculum

For my recent publications look at these sources:
ISTI-FMT list;
my recent publications in the ISTI repository;
my DBLP index.

Giugno 2009: é uscito: A. Fantechi - Informatica Industriale Ð CittˆStudi Edizioni !!!!

Didattica / Teaching

Corso di Laurea in Ingegneria Informatica

Orario di ricevimento studenti: (NUOVO ORARIO DAL 9/10/2009)
Lun. 16.30 - 17.30
Ven. 9.15 - 10.15

Orario delle lezioni

Disponibilita' di tesi

Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.

-----------------------------------------------------------------------------
Personal
Hobbies<\a>
-----------------------------------------------------------------------------