Guest researchers 2008
First published : Wednesday 4 February 2009 by Jules Gasté
| First name / Name | Institute | Research theme | Period of time | In collaboration with |
| Pr Cesar Munoz | National Institute of Aerospace - USA |
"Spécification et la vérification de programmes incluant du calcul flottant dans le cadre de programmes Java prouvés en PVS et modélisation et preuve d'algorithmes de contrôle aérien" |
June / July | INRIA |
| Pr Yan Guo |
China Agriculture University - China |
"Cooperation with the Digiplante team to adapt the mathematical model of plant growth and the simulation software to new plants (pine, rice, cotton) and experimental data analysis" |
May | INRIA |
| Pr Artur Ziviani | National Laboratory for Scientific Computing - Brazil | "Conception d'un modèle de dissémination des données sur un réseau de capteurs sans fil" |
September / November |
INRIA |
| Pr Ivan Stojmenovic |
University of Ottawa - Canada |
"Développer l'axe réseaux de capteurs sur lequel travaille Hipercom et d'autres équipes de l'INRIA (comme ASAP)" |
June / July and September |
INRIA |
| Pr Nancy Amato and Pr Lawrence Rauchwerger |
Texas A&M University College Station - USA |
"Collaboration sur la tolérance aux pannes et le reciblage de STAPL à des intergiciels efficaces et flexibles permettant de faciliter la programmation parallèle de grands systèmes" |
June / July |
INRIA |
| Pr Moreno Falaschi |
Dip. Di Scienze Matematiche e Informatiche, University Siena - Italy |
"Work on the foundations of Temporal Concurrent Constraint Programming" |
October / November / December |
INRIA |
| Pr Dimitri Samaras |
Computer Science Dpt, Stony Brook University - USA |
"Extraction et induction de descripteurs pour l'analyse d'images biomédicales" |
June / September |
INRIA |
| Pr Burkhart Wolff |
ETH Zurich - Switzerland |
"Evaluation du système Z3 pour le but de la synthèse des données de test dans le domaine du génie logiel" |
August / October |
LRI |
| Pr Carlo Meghini |
Istituto di Scienza e TecSTI/CNR - Italy |
"Modélisation de documents et gestion de collections dans le cadre d'une bibliothèque numérique" |
September / October |
LRI |
| Pr Scott Klemmer |
Université de Stanford - USA |
"Mise en place de collaborations sur les thématiques communes des deux équipes : papier interactif, "design workbench", interaction avec mur d'images" |
June / July |
LRI |
| Pr Martin Raussen |
Aalborg University - Denmark |
"Development of softwre validations tools, especially how to exploit Max-plus algebras and of topological coverings in subdivisions of state spaces" |
November | CEA-LIST |
| Pr Branislav Selic |
Carlton University - Canada |
"New technical directions for the ACCORD/UML modeling initiative and outline promising strategic evolutionary and research directions for the framework and its related toolset" |
October / December |
CEA-LIST |
| Pr Van Oostrom |
University of Utrecht - Nederland | "Collaborations dans le domaine des formalismes de calcul d'ordre supérieur qui interviennent en programmation et preuves de programmes" |
January / February |
LIX |
| Pr Pierre Hansen |
HEC Montréal - Canada | "Reformulations in mathematical programming" |
October to March 2009 |
LIX |
