Gianluigi Zavattaro e' Professore Ordinarioper il
settore disciplinare INF01 Informatica, presso la Facolta' di
Scienze MM.FF.NN, Universita' degli Studi di Bologna. E' membro
dell'IFIP (International Federation for Information Processing)
Working Group 6.1 "Architectures and Protocols for
Distributed Systems" e dello "steering committee'' di convegni
internazionali quali "International Conference on Coordination
Models and Languages (COORDINATION)" e "IFIP International
Conference on Formal Techniques for Distributed Systems". E' autore
di piu' di 100 pubblicazioni scientifiche apparse su riviste, atti
di convegni, e raccolte di articoli scientifici. E' stato
oratore invitato a convegni quali "Symposium on Trustworthy Global
Computing" e "International Conference on Formal Techniques
(FORTE)", e' stato docente a scuole per dottorandi quali
"International PhD School in Theory and Practice of Business
Process Execution and Service Orientation (BPESO)" e "International
School on Formal Methods for the Design of Computer, Communication
and Software Systems: Computational Systems Biology (SFM:Bio)", e'
stato chair del comitato di programma di conferenze internazionali
quali "Formal Methods for Open Object-based Distributed Systems
(FMOODS)", "Coordination Models and Languages (COORDINATION)" e
"Concurrency Theory (CONCUR)" e membro di quasi 100 comitati di
programma di convegni internazionali quali "European Symposium on
Programming (ESOP)", "International Conference on Service Oriented
Computing (ICSOC)", e "IEEE European Conference on Web Services
(ECOWS)". Ha partecipato a svariati progetti di ricerca: in
particolare e' coordinatore del progetto strategico "CompReNDe
(Compositional and executable Representations of Nano Devices)" e
ha ricoperto ruoli di coordinamento di specifiche tematiche di
ricerca all'interno del progetto europeo "SENSORIA (Software
Engineering for Service-Oriented Overlay Computers)".
