precedent suivant T.d. matieres up postscript index aide

Relations internationales

Précédent : Canada
Suivant : Mexique

7.2. Etats-Unis



L'INRIA a des collaborations clairement identifiées avec plus de 35 universités amériacaines. Les principales sont : Arizona, Austin, Berkeley, Boston, Boulder (Colorado), Brown, California at Irvine, Caltech, Carnegie-Mellon, Clark, Cornell, Duke, Florida State, Georgia Tech, Houston, Kansas State, Lehigh, Madison, Massachussetts, Minneapolis (Institute for Mathematics and its applications), MIT, New Hampshire, New York State, North Carolina, State Northwestern, Ohio State, Oregon, Pennsylvania State, Princeton, Purdue, Rice, Rutgers, Santa Barbara, Santa Clara, Southern Florida, Stanford, Tampa, Urbana-Champaign, Yale, ....

Par ailleurs, deux accords de collaboration institutionnels sont en vigueur avec :
  • University of Southern California : Center for Applied Mathematical Science
  • University of Maryland : Institute for Systems Research

    Chaque université citée correspond à une collaboration clairement identifiée. Pour retrouver les équipes INRIA concernées, se reporter au serveur INRIA et consulter le rapport d'activité en ligne, en recherchant à l'aide de l'indexation WAIS le nom de l'université concernée. Cette fonctionnalité n'est disponible qu'en français.

    Visiteurs étrangers en 97 : 74 scientifiques représentant 13,4 hommes * an.

    Liste des projets INRIA-NSF en cours

  • Génération automatique d'outils de vérification
    E.Madelaine (INRIA-Sophia) & W.R.Cleaveland (North Carolina State U.)

  • Raisonnement géométrique sur les objets 3-D
    N.Ayache (INRIA-Sophia) & G.Medioni (Univ. Southern California)

  • Théorie des jeux dynamiques et étude de contrôleurs robustes
    P.Bernhard (ESSI) & T.Basar (Univ. of Illinois)

  • Analyse numérique des équations différentielles stochastiques
    D.Talay (INRIA-Sophia) P.Protter (Purdue Res., W.Lafayette)

  • Décomposition de domaines, techniques multi-niveaux et calcul paralléle en calcul scientifique
    P.Le Tallec (INRIA-Roc.) & S.Mac Cormick (Univ. of Colorado)

  • Etude expérimentale de l'architecture logicielle et de réutilisabilité pour le contrôle de véhicules sous-marins non habités
    D.Simon (INRIA-Sophia) & R.Mc Ghee (Naval School, Monterey)

  • Outils avancés de CAO pour la conception de contrôle robuste
    P.Gahinet (INRIA-Roc.) & A.Laub (U. Calif. at Santa Barbara)

  • Théorie et implémentation de la cohérence pour les mémoires partagées
    M.Raynal (INRIA-Rennes) & M.Mizuno (Kansas State U.)

  • Traitement statistique du signal, événements discrets en vision et théorie des systémes
    A.Benveniste (INRIA-Rennes) & Willsky (MIT)

  • Théorie des systémes et approximation
    L.Baratchart (INRIA-Sophia) & E.Saff (U. South Florida, Tampa)

  • Structuration de la recherche de preuve en programmation logique
    P.Deransart (INRIA-Roc.) & D.Miller (U. of Penn., Comp. Sc. Dept.)

  • Analyse de perturbations et calcul paralléle en gestion de la production
    J.M.Proth (INRIA-Lorraine) & I.Minis (U. of Maryland, College Park)

  • Optimisation stochastique des systémes de production
    J.M.Proth (INRIA-Lorraine) & Y.Wardi (Georgia Inst. of Technology)

  • Algorithmes branch and bound hautement paralléles pour la résolution de problémes d'optimisation
    C.Roucairol (Univ. de Versailles) & S.Dutt (U. of Minnesota)

  • Spécification et recherche de solutions dans la programmation par contraintes
    C.Kirchner (INRIA-Lorraine) & E.M.Reingold (U. of Illinois at Urbana-
    Champaign)

  • Outils pour la conception de logiciels portables efficaces en parallélisation scientifique
    B.Tourancheau (ENS Lyon) & J.Dongarra (U. of Tennessee, Knoxville)

  • Analyse de systémes hybrides : application au projet PATH
    J.Sifakis (INRIA-Grenoble) & P.Varaiya (U. of California, Berkeley)

  • Résolution numérique des modéles de réseaux haute-vitesse
    B.Plateau & B.Philippe (INRIA-Rennes), A.Sameh (U. of Minnesota) &
    W.Stewart (North Carolina State U.)

  • Spécification formelle et transformations de programmes paralléles
    I.Attali (INRIA-Sophia), D.Caromel (CNRS-Sophia) &
    J.L.Gaudiot (Univ.Southern California)

  • Systémes à base de connaissances sous contraintes de ressources
    F.Charpillet (INRIA-Lorraine), J.P.Haton (INRIA-Lorraine) &
    S.Zilberstein (Univ.Massachussetts)

  • Types statiques pour le raisonnement sur les systémes concurrents
    D.Sangiorgi(INRIA-Sophia) & B.Pierce(Univ. of Indiana)

  • Conception d'observateurs à base d'équations différentielles algébriques et détection de fautes dans les systémes non-linéaires
    F.Delebecque, R.Nikoukah (INRIA-Rocqu.) &
    J.Campbell (Univ.Southern California)