Member of the group on
Concurrent
Models of Computation
(subgroup on
Semantics of Process Description Languages ).
Addr: Corso Italia, 40 -- 56125 Pisa -- Italy
Email: giangi@di.unipi.it
Phone: +39.50.887.266 -- Fax: +39.50.887.226
My research interests generally fall in the
area of semantic theories for concurrent programming and specification
languages. I am also interested in the development of verification
tools.
Member of the group on
Concurrent
Models of Computation
(subgroup on
Semantics of Process Description Languages ).
Participating in the ESPRIT BRA Project
CONFER
COncurrency and Functions: Evaluation and Reduction.
National Projects: Proposta Progetto Coordinato CNR MAC
Modelli Astratti di Computazione (in italian).
Interesting WEB Pages
www-sites.
Teaching -- Didattica (In italian):
Didattica
You can find
here some of my papers