Silvano Dal Zilio was born in France in 1971. He obtained his
PhD from INRIA and the University of Nice - Sophia Antipolis in
1999, and he holds a Master's Degree in computer science from École Normale Supérieure de
Lyon, where he studied parallel programming and
architecture. In 1993, he worked for one year on developing vision
and learning algorithms for a smart retina for the French
ministry of defence, then joined INRIA Sophia Antipolis for a PhD
thesis on using mobile process calculi as a programming model.
In 1999, Silvano Dal Zilio joined
Principles and Tools Group at Microsoft Research in Cambridge
(UK) for two years. In 2001, he became
a CNRS researcher, working at
d'Informatique Fondamentale (LIF) in Marseille, and a member
of the INRIA
project MIMOSA. Since
July 2007, Silvano is a CNRS researcher at LAAS in Toulouse.
Silvano Dal Zilio current research interests include the
verification of concurrent and distributed
systems, mobile and
higher-order process calculi, global and mobile computation,
logics and tools for programming with semi-structured data.