1.

2008 - 2009

Subvention

HSP
Le probleme du sous-groupe caché en calcul quantique

2.

2007 - 2009

Subvention

GT CMF
Complexité et Modèles finis

3.

2004 - 2007

Subvention

ACI Masses de Données TRALALA
ACI Masses de Données TRALALA

4.

2003 - 2006

Subvention

ROBEA
Agir, Anticiper, s'Adapter

5.

2003 - 2006

Subvention

Réseaux quantiques
Eléments de sécurité et de fiabilité de l'information et des algorithmes dans les réseaux quantiques

6.

2005 - 2008

Subvention

PI-Vert
FNS Nouvelles-Interfaces des Mathématiques

7.

2003 - 2006

Subvention

PAIR A PAIR
Une étude globale pour l'étude des réseaux pair à pair : modélisation, conception, et analyse des protocoles pair à pair

8.

2003 - 2006

Subvention

NAVGRAPHE
Navigation dans les grandds graphes et application aux bases de données vidéos, à la génomique et aux cartes sémantiques

9.

2003 - 2006

Subvention

MICROMEGAS
MICROMEGAS

10.

2014 - 2018

Subvention

IUF
FABIO MARTIGNON

11.

2008 - 2011

Subvention

JST-ICT
Quantum Computation: Theory and Feasibility

12.

2005 - 2008

Subvention

INCA
Identification d'une signature de progression dans les cancers de vessie grâce à une combinaison d'analyse du transcriptome et du génome

13.

2003 - 2005

Subvention

GRAPHDUCE
Développement d'un environnement graphique pour applications financières basées sur XML et Cduce

14.

2003 - 2007

Subvention

GECCOO
Génération de code certifié pour des applications orientées objet spécification, raffinement, preuve et détection d'erreurs

15.

2006 - 2009

Subvention

GDR BIM
GDR BIOINFORMATIQUE MOLÉCULAIRE

16.

2003 - 2006

Subvention

GAP
Graphes Algorithmes et probabilités

17.

2006 - 2009

Subvention

GT IQ
Informatique Quantique

18.

2004 - 2008

Subvention

FRAGILE
Tolerance aux défaillances et intégrité garantie par les applications dans les systèmes à grande échelle

19.

2002 - 2005

Subvention

Cryptanalyse Quantique
Application du calcul quantique à l'attaque de systèmes cryptographiques

20.

2003 - 2006

Subvention

DATA GRID EXPLORER
GRID 5000

21.

2003 - 2006

Subvention

CASC
Contrôle accès sécurisés à des données confidentielles

22.

2005 - 2009

Subvention

ALPAGE
Algorithmique des plates-formes à grande échelle

23.

2004 - 2007

Subvention

ARENA
Groupe de travail pluridisciplinaire sur la structure et la fonction des ARN

24.

2002 - 2005

Subvention

ACI
Le rôle des assistants personnels dans les réseaux ad hoc avec routage

25.

2004 - 2007

Subvention

ACAMBA
Analyse de Chimiothèques et Construction Automatique de Modèles de Bio-Activité