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

e-mail: fantechi@dsi.unifi.it

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

Collaboration with General Electric Transportation Systems

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 22/2/2010)
Lun. 17.00 - 18.00
Ven. 9.30 - 10.30

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