|
|
| L'INRIA en bref | Histoire de l'INRIA | Stratégie | Rapport annuel | Organigramme | Commission d'évaluation | Les centres de recherche et leurs partenaires | Le Centre de Recherche Commun INRIA-Microsoft Research |
|
 Ses centres d'intérêts comprennent le design et la sémantique des langages de programmation, les théories concurrentielles et leurs applications à la sécurité, ainsi que les méthodes et outils pour la vérification formelle des programmes informatiques. Ses derniers travaux portent sur la vérification formelle du fameux théorème des quatre couleurs en collaboration avec Benjamin Werner, chercheur à l'INRIA. |
 Ses centres d'intérêts sont la programmation concurrentielle, les systèmes distribués et la sécurité. Ses récents travaux portent sur l'implémentation sécurisée des abstractions de communication. Les contrôles d'accès pour le code mobile, le cadre réglementaire des autorisations, l'authentification privée ainsi que la vérification des protocoles de cryptographie pour la sécurisation d'internet et des Web services. Cédric Fournet a rejoint Microsoft Research Cambridge en 1998. |
 Il est un spécialiste mondialement connu de l'algorithmique répartie. Il est également connu hors de la communauté scientifique de l'informatique comme le créateur de LaTeX, un système de mise en page de documents notamment utilisé par les scientifiques de certaines disciplines (informatique, mathématiques, physique...) pour des documents comportant de nombreuses formules mathématiques. Leslie Lamport a rejoint Microsoft Research en 2001 après avoir été chercheur à Digital Equipment depuis 1985. Leslie Lamport est docteur honoris causa de l'université de Rennes. |
 Ses domaines d'intérêt couvrent notamment le design de langages de programmation pour la programmation distribuée, en particulier le langage jocaml ainsi que le calcul de processus pour le calcul parallèle. James Leifer est chercheur à l'INRIA depuis 2001 et a effectué un doctorat à l'université de Cambridge (UK) sous la direction de Robin Milner entre 1995 et 2001. |
Ses thèmes d'intérêt sont centrés sur les mathématiques formelles, Théorie des Types, Théorie de la démonstration, Mathématiques formelles, applications à la certification de programmes. |
Il est notamment l'un des contributeurs au langage de programmation CAML (garbage collector) |
 Ses domaines d'intérêt portent sur la qualité et la sûreté des logiciels et des systèmes, et plus précisément sur la logique, les méthodes formelles pour le développement de systèmes, la spécification et la vérification. Il est également le délégué aux relations internationales du LORIA. |
 Convaincue que l'humain est un facteur critique pour le développement de l'informatique Wendy travaille sur les complémentarités hommes/machines et l'analyse de situations spécifiques d'utilisation. L'objectif de son groupe est de développer les prochaines générations d'interfaces. Ses recherches portent sur les paradigmes d'interaction, les médiateurs de communication, l'ingénierie des systèmes interactifs et les méthodes de recherche. |
 Directeur de recherche à l'Institut National de Recherche en Informatique et Automatique,
Jean Jacques Lévy a été embauché jeune chercheur à l'INRIA et a passé une thèse d'Etat en 1978. Il est professeur à l'École polytechnique depuis 1992. Il a successivement travaillé sur la sémantique opérationnelle et dénotationnelle des langages de programmation, sur les stratégies de réductions dans le lambda-calcul et les systèmes de réécriture, sur la conception assistée par ordinateur des circuits intégrés et sur la sémantique de la concurrence avec applications à la distribution et la mobilité. |
 Rick Rashid est en charge de la coordination et du rayonnement des différents laboratoires Microosft Research dans le monde.
Richard (Rick) F. Rashid était précédemment en charge de la direction des recherches sur les operating systems, les réseaux et multiprocesseurs. Dans cette position il a dirigé les travaux sur des technologies comme Microsoft Interactive TV et déposé un certain nombre de brevets en la matière. Il a également, en complément de ses fonctions de Directeur de Microsoft Research, activement contribué à la création de la division Digital media et dirigé la première entité e-commerce.
Rick Rashid a été promu Vice President Microsoft Research en 1994 puis Senior Vice President en 2000. Avant de rejoindre Microsoft Research en 1991, Rick Rashid était professeur à l'Université de Carnegie Mellon. Il a dirigé le design et l'implémentation de différents projets et publié de nombreux travaux sur les systèmes, les protocoles réseaux, les langages de programmation, la communication, la sécurité et l'informatique distribuée. Rick Rashid a été reconnu par la “National Academy of Ingineering” en 2003, pour ses travaux sur les operating systems et pour l'innovation en recherche industrielle. |
 Directeur adjoint de Microsoft Research en 2001, Andrew Herbert est nommé directeur en mars 2003 et prend la succession de Roger Needham, fondateur. Andrew Herbert est un spécialiste du réseau, des systèmes d'exploitation, des langages de programmation ainsi que de la circulation et du partage de l'information. Avant de rejoindre Microsoft Research, Andrew Herbert était directeur des technologies avancées chez Citrix Systems Inc. Il contribua au succès de cette entreprise dans le domaine des infrastructures de mise à disposition des applications et sur le marché des éditeurs d'applications hébergées. |
 Né en 1952, il obtient le diplôme d'ingénieur en Informatique et Mathématiques Appliquées de l'ENSIMAG, puis un Master's degree in Applied Mathematics à Cornell University (USA) et enfin son Doctorat d'Etat en Informatique à l'Université de Grenoble. Entré au CNRS comme chercheur en 1979, il est nommé, en 1987, professeur d'informatique à l'Ecole Normale Supérieure de Lyon où il crée le Laboratoire d'Informatique du Parallélisme (LIP) qu'il dirige jusqu'en août 1997. De septembre 1997 à décembre 2000, il est directeur de l'unité de recherche INRIA Lorraine et du LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), et, depuis Juin 2001, il est directeur de l'Unité de recherche INRIA Sophia Antipolis et Professeur à l'Ecole Polytechnique de Université de Nice - Sophia Antipolis. De 2001 à 2003, il est Directeur de l'Action Concertée Incitative "Globalisation des Ressources Informatiques et des Données (GRID)" du Ministère de la Recherche. De 2003 à 2004, il est Directeur du GEIE ERCIM. De 2004 à 2006, il préside le Pôle d'Enseignement et de Recherche de Sophia Antipolis - Nice (PERSAN) et il participe activement à la création du pôle de compétitivité mondial "Solutions Communicantes Sécurisées". Michel Cosnard est un spécialiste mondialement reconnu de l'algorithmique, en particulier dans le domaine de la conception et l'analyse d'algorithmes parallèles et du calcul sur les grilles. |
 Depuis son arrivée chez Microsoft en 2002, Eric Boustouller, était Directeur Général Adjoint, en charge, au sein du Comité de Direction, de toutes les activités Grands Comptes de la filiale française – grandes entreprises privées, administrations et collectivités puis Président en Février 2005.Convaincu des atouts français en termes de logiciel, recherche, éducation et compétences en mathématiques, Eric Boustouller est un fervent défenseur de l'industrie du logiciel en France, œuvrant ainsi pour le développement de structures et d'entreprises innovantes en France. |
