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

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.30 - 10.30

Nella seconda metà di gennaio il ricevimento seguirà il seguente calendario:
Gio. 21/1    9.30 - 10.30
Lun. 25/1  17.00 – 18.00
Mer. 27/1    9.30 - 10.30 Lun. 16.30 - 17.30
Lun. 1/2   17.00 – 18.00

 

Orario delle lezioni

Disponibilita' di tesi

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


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