Alessandro Fantechi

Dipartimento di Ingegneria dell'Informazione
Universita' degli Studi di Firenze
via S. Marta 3
I-50139 FIRENZE
ITALY

+39-055-2758639 tel., direct
+39-055-4796363 fax

e-mail: alessandro.fantechi@unifi.it

AlessandroFantechi is full professor of Computer Science Foundations at the School 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.

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

E' ora disponibile un'Errata-Corrige del libro "Informatica Industriale"

Didattica / Teaching

Corso di Laurea in Ingegneria Informatica

Corso di Laurea Magistrale in Ingegneria Informatica

Anno sabbatico 2016 Alessandro Fantechi

Dal 14 Gennaio al 30 Giugno presso DTU - Technical University of Denmark - Lyngby.
Orario di ricevimento studenti da Luglio 2016 (da confermare):
Lun. 17.00 - 18.00
Mer.    11.30 - 12.30

 

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