|
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)
-
Introduction to Bisimulation and
Coinduction,
Cambridge University Press, 2012.
-
Advanced Topics in Bisimulation and Coinduction,
Cambridge University Press, 2012.
(Here is a joint preface for the two books above)
|
|
-
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:
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
-
Coordinator, corso di laurea
Informatica per il Management
-
Member, Academia Europaea (section Informatics)
-
Journals: Editor of the journals
Logical Methods in Computer Science
,
Acta Informatica
,
Distributed Computing
,
RAIRO - Theoretical Informatics and Applications
,
Foundations and Trends in Programming Languages
-
Member of the
International Federation for Information
Processing (IFIP)
Working Group 2.2
`Formal description of programming concepts'
(chairman 2004-2011), and
of
the
Working Group
1.8 'Concurrency Theory'
-
Some events (involvement: IS = invited speaker; PC =
program committee member; GC = general chair/co-chair/PC-chair):
POPL'04
(IS)
LICS'04
(IS)
EXPRESS'04
(PC)
FGC'04
(PC)
ESOP'05
(PC)
TGC'05
(GC)
ICALP '05
(PC)
ICTCS '05
(PC)
FMCO'05
(IS)
POPL'06
(PC)
LICS'06 (PC)
ICFEM'06 (PC)
MFPS'06 (IS)
TiC school (GC)
GLOBAN school (IS)
DisCoTec'06 (Coordination+Fmoods+Dais) (IS)
IFIP Wg 2.2 Anniversary meeting
TGC'06 (PC)
MFPS'07 (PC)
CALCO'07 (PC)
ICALP'07 (PC)
FSEN'07 (IS)
MFCS'07 (PC)
CONCUR'07 (PC)
ICFEM '07 (PC)
NWPT'07 (IS)
IFIP TCS'08 (PC)
FMWS'08
(PC)
ICFEM'08 (PC)
FSTTCS'08 (PC)
SOFSEM 2009 (PC)
FSEN'09 (PC)
FOSSACS'09 (PC)
JFLA 2009 (PC)
FMWS09 (PC)
CALCO 2009 (PC)
EXPRESS 2009
(IS)
BASICS 2009
(IS)
Biss 2010 (school) (IS)
CMCS 2010
(PC)
MFPS 2010
(PC)
MFCS 2010 (PC)
TGC 2010 (IS)
CAI 2011 (PC)
LICS 2011 (PC)
ICALP 2011 (PC)
MFPS 2011
(PC)
PACO 2011
(PC)
SEFM school 2011
(IS)
SOFSEM 2012
(PC)
LICS 2012
(PC)
ICALP 2012
(PC)
Milner Symposium 2012
(IS)
Microsoft Summer School on Concurrency
(IS)
Hats school
LATA'13
(PC)
FSEN'13
(PC)
CONCUR'13
(PC)
PLMW'13
(IS)
EWSCS'13
(IS)
ICE'13
(IS)
Scuola Logica 2013
(IS)
GandALF'13
(PC)
FOSSACS'14
(PC)
LATA'14
(PC)
SMC workshop
(IS)
CMCS'14
(IS)
TCS'14 track B
(GC)
FCT'15
(PC)
PSI'15
(PC)
ICALP'16 track B
(GC)
[Past events]
|
|
Teaching
-
Sistemi Operativi e Laboratorio
(Informatica per il Management, semestre 2)
-
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
-
Links
(work, travelling, etc.)
|