Research projects

I am currently involved in the following research projects :

APMC (Approximate Probabilistic Model Checker) (leader)

RASTA (participant)

The RASTA Working group is a transversal activity of LRI, involving members of the following groups: BioInfo, ForTesSE, Parall. There is a strong collaboration with the Equipe de Logique Mathématique at Paris 7, and more recently some common work has started with the SPIRAL team of LIP6.

ANR MIDAS (participant)

MIDAS’09 is an ANR-supported interdisciplinary project devised to bring together cosmologists, computational physicists, computer scientists and applied mathematicians to face the challenge of the tremendous volume of data as anticipated from current and forthcoming Cosmic Microwave Background (CMB) experiments.
more information can be found here.

ANR SPADES (Servicing Petascale Architectures and DistributEd System) (local leader at Grand-Large)

Today’s emergence of Petascale architectures and evolutions of both research grids and computational grids increase a lot the number of potential resources. However, existing infrastructures and access rules do not allow to fully take advantage of these resources.
One key idea of the SPADES project is to propose a non-intrusive but highly dynamic environment able to take advantages to available resources without disturbing their native use. In other words, the SPADES vision is to adapt the desktop grid paradigm by replacing users at the edge of the Internet by volatile resources. These volatile resources are in fact submitted via batch schedulers…
More information can be found here.

ANR SAFE-OS (participant)

SAFE-OS is a secured operating system developed for the SEC&SI (Securité Et Confidentialité des Systèmes d‘Information) ANR challenge. SAFE-OS is developed at LRI, one of the computer science laboratories of the University of Paris XI-Sud.

The team of SAFE-OS consists of

  • Thomas Herault (Associate Professor, University of Paris XI-Sud, project coordinator)
  • Sylvain Peyronnet (Associate Professor, University of Paris XI-Sud)
  • Sebastien Tixeuil (Professor, University of Paris 6).
  • François Lesueur (Postdoc, University of Paris XI-Sud)
  • Ala Rezmerita (Postdoc, University of Paris XI-Sud)