Contrats

Coordination du projet PHC Amadeus "Random logical trees and related structures" (2010-11), en collaboration avec B. Gittenberger (T.U. Wien): étude de divers types d'arbres ou arbres enrichis servant à représenter des expressions de la logique des propositions, du lambda-calcul, ou du calcul des prédicats.

Projet ANR blanc BOOLE (2009-13):équipe regroupant des membres du  PRiSM et du laboratoire de Mathématiques de Versailles; coordination scientifique des équipes de Versailles, Inria Rcoquencourt-ENS, Caen, Marseille. Ce projet a pour but l'étude des cadres booléens (fonctions, expressions) par des techniques quantitatives, en particulier isssues de la combinatoire analytique et des probabilités.

Participation du PRiSM au projet exploratoire ACTRICE (Approche Combinée de Technologies Réseaux Inter-domaines sous Contraintes Economiques) du Réseau National de Recherche en Télécommunication (RNRT), débuté en janvier 2006 avec ALCATEL CIT, l’ENST de Paris, France Télécom, la société IN-SOFT et l’Université de Rennes II.

Participation au project ANR SADA Structures Aléatoires Discrètes et Algorithmes (2006-08). Ce projet réunit Inria Rocquencourt, Caen, Bordeaux, Ecole Polytechnique et Versailles dans un effort conjoint pour étudier et quantifier les propriétés principales des structures élémentaires (mots, structures arithmétiques, arbres, graphes) qui interviennent de manière récurrente dans une grande variété d'algorithmes.

Coordination du projet PHC Polonium "Mikolaj: quantitative research on logic and functional languages" (2007-08). Ce projet, en collaboration avec une équipe de l'ENS Lyon (P. Lescanne) et  une équipe de l'université Jagellone (Cracovie), a pour but de comparer quantitativement diverse logiques propositionnelles.

Responsable de la participation du PRiSM au projet SOGEA (ARA Sécurité SSIA). Sur le thème de la sécurité des jeux, des équilibres et de l’algorithmique répartie, ce projet réunit depuis décembre 2005 et pour trois ans le PRiSM de Versailles, le LRI d’Orsay et le LORIA de Nancy.

Coordination du PHC (Partenariat Hubert Curien) Amadeus "Probabilities and tree representations for Boolean functions" (2006-07). Ce projet de recherche était en collaboration avec une équipe autrichienne de T.U. Wien spécialisée dans l'analyse d'algorithmes. Son objet principal était l'étude de diverses distributions de probabilité sur les fonctions booléennes.

Coordinateur du projet ALGOL (ACI Masses de données) (2004-07) sur le thème des algorithmes et architectures embarqués pour les satellites spatiaux. Ce projet réunit le PRiSM de Versailles, le LaMI de l’Université d’Evry et le GEPI de l’observatoire de Meudon.

Participant, ACI « Jeunes chercheurs » (2004-07). Le but de ce projet était l'etude des partitions d'entiers, vues sous les angles complémentaires de la combinatoire énumérative, des q-séries, et de la théorie des nombres.

Participation au project ACI ACPA "Arbres, Chemins: Probabilités et Algorithmes" (2004-06). Ce projet regroupait Inria Rocquencourt, Bordeaux, Nancy et Versailles. Son objet était l'analyse approfondies d'arbres et de chemins, avec les outils de l'analyse combinatoire et des probabilités. Le responsable était P. Chassaing de Nancy; l'équipe de Versailles était coordonnée par B. Chauvin du laboratoire de mathématiques.

Réseau d’excellence EURO-NGI du 5eme PCRD depuis janvier 2004 avec une participation au groupe de travail sur les problèmes de tarification et de qualité de service dans les réseaux de télécommunication. Au sein d’EURO-NGI, responsable de la participation du PRiSM au projet "Auctions, pricing, provisioning and QoS" de type "Specific Research Project".

Participation du PRiSM au projet exploratoire ROMEO (Réseaux electro-Optiques Multi-services) du RNRT, entre juin 2003 et décembre 2005, avec ALCATEL CIT, l’ENST de Brest et l’INT d’Evry.

Subvention NSF-CNRS (2003-05). Projet en collaboration avec l'université de Caroline du Nord et l'université Drexel, sur l'énumération de partitions d'entiers et de permutations.

Participation du PRiSM au projet pré-compétitif FADO (Dimensionnement Réseaux, Programmation par Contraintes et Recherche Opérationnelle) du RNTL, débuté entre mars 2003 et septembre 2005 avec la société ILOG, France Télécom R&D de Sophia-Antipolis et l’INRIA de Grenoble.

Responsable pour le PRiSM d’un contrat entre le PRiSM et ALCATEL R&D (Marcoussis) intitulé TOMO-BGP : tomographie pour la performance de BGP de septembre 2003 à septembre 2004. Financement d’un CDD notamment.

Responsable de la participation du L.R.I. d’Orsay et du PRiSM au projet exploratoire ROM (Réseaux Optiques Multi-services) du RNRT, de 1999 à 2002, avec ALCATEL à Marcoussis, le France Télécom R&D de Lannion et l’INT d’Evry.

Responsable de la participation du LRI d’Orsay et du PRiSM au projet exploratoire ROCOCO (Recherche Opérationnelle et Contraintes pour la Conception de réseaux) du RNRT entre 1999 et 2002 avec la société ILOG, France Télécom R&D de Sophia-Antipolis et l’INRIA de Grenoble.

 Imprimer  E-mail

DMC Firewall is developed by Dean Marshall Consultancy Ltd