 |
Information
-
How to reach me
(email, phone, car ...)
-
Previously held positions:
INRIA, France ("Charge' de Recherche",
"Directeur de Recherche"); University of Edinburgh,
UK (PhD, "Research Associate") .
-
A
short CV
( here in italian )
|
 |
Research
-
Research interests: Concurrent systems, especially
mobile and higher order: semantics, verification techniques.
High-level
languages for specifying and programming concurrent activities. Systolic
automata and systems.
-
Books:
-
The pi-calculus: A Theory of Mobile Processes ,
Cambridge University Press, 2001.
(The first draft of this book has been my "habilitation"
document, University of Paris VII)
-
Papers: Bibliography,
from the DBLP
Bibliography Server; some (incomplete) lists
in
BibTeX,
and
HTML
(with pointers to some papers)
-
Some
talks |
Some tutorial papers
- the
FOCUS Research Team
-
Research projects (to be updated...):
Sensoria (Software
Engineering for Service-Oriented Overlay Computers,
EU-funded Integrated Project);
Hats (Highly Adaptable
and Trustworthy Software using Formal Models,
EU-funded Integrated Project);
PACE
("beyond plain Processes: Analysis techniques, Coinduction and Expressiveness")
|
 |
Professional activities
|
 |
Teaching
-
Sistemi Operativi e Laboratorio
(Informatica per il Management, semestre 2)
- Informatica (Scuola di specializzazione in
Medicina del Lavoro)
-
Abilita' informatiche
(Scienze biologiche, 2018/2019)
-
Modelli e sistemi concorrenti
(Specialistica Informatica, AA 2009/10)
-
Fondamenti Logici dell'informatica
(Specialistica Informatica, semestre 2, AA 2007/08)
-
Costrutti linguistici e tecniche di verifica
per sistemi concorrenti
(Specialistica Informatica, semestre 1, AA 2006/07)
- OLD:
Linguaggi di programmazione avanzati
(Specialistica Informatica, semestre 2, AA 2004/05,2005/06)
- OLD:
Sistemi Operativi e Reti
(Master di II livello in Matematica per le Applicazioni)
-
Other courses
(advanced schools and
short courses)
Ricevimento studenti: Giovedi 14.00-15.00
|
 |
Miscellaneous
|
