Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Creation of the Project-Team: 2008 January 01

Section: Members

Research Scientists

Catuscia Palamidessi [Team leader, Inria, Senior Researcher]
Konstantinos Chatzikokolakis [CNRS, Researcher]
Frank Valencia [CNRS, Researcher]

Engineer

Yamil Salim Perchy [Inria, granted by ERC (European Research Council Excecutive Agency)]

PhD Students

Tymofii Prokopenko [Inria, from Sep 2016]
Michell Guzman [Inria]
Joris Lamare [Inria]
Yamil Salim Perchy [Inria, until Nov 2016]

Post-Doctoral Fellow

Ehab Elsalamouny [Inria, until Nov 2016]

Visiting Scientists

Mario Ferreira Alvim Junior [Assistant Professor, Federal University of Minas Gerais, Dec 2016]
Annabelle Mciver [Associate Professor, Macquarie University, Dec 2016]
Charles Carroll Morgan [Professor, University of New South Wales, Dec 2016]
Geoffrey Smith [Professor, Florida International University, USA, Dec 2016]
Yusuke Kawamoto [Research Scientist, AIST, Japan, May, Sep, Nov 2016]
Linda Brodo [University of Sassari, September-October 2016]
Moreno Falashi [University of Siena, September-October 2016]
Carlos Olarte [Universidade Federal do Rio Grande do Norte, Dec 2016]

Administrative Assistants

Marie Enee [Inria, until Nov 2016]
Hélèna Kutniak [Inria]

Others

Anna Pazii [Inria, Intern, from Jul 2016]
Thomas Ragel [Inria, Intern, from Jun 2016 until Jul 2016]
Susheel Suresh [Ecole Polytechnique, Intern, from May 2016 until Aug 2016]
Tymofii Prokopenko [Inria, Intern, from Apr 2016 until Aug 2016]