Difference between revisions of "Projects:INRIA"
Jump to navigation
Jump to search
Line 3: | Line 3: | ||
* Franck Hétroy-Wheeler is an associate member of the MOSAIC team at the Inria Grenoble-Rhône-Alpes center on the theme of geometric analysis of plants. | * Franck Hétroy-Wheeler is an associate member of the MOSAIC team at the Inria Grenoble-Rhône-Alpes center on the theme of geometric analysis of plants. | ||
− | * Around the theme of the topology-based modeling, David Cazier | + | * Around the theme of the topology-based modeling, David Cazier was a member of the team-project [http://mimesis.loria.fr/ MIMESIS] project being launched by Stéphane Cotin whose integration in IGG was validated by the direction committee of 06/08/2015 and last till December 2020. |
* Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project [https://team.inria.fr/camus/ CAMUS], in cooperation with the INRIA Nancy Grand-Est since its begining in 2010 by Philippe Clauss (head of the team ICPS). | * Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project [https://team.inria.fr/camus/ CAMUS], in cooperation with the INRIA Nancy Grand-Est since its begining in 2010 by Philippe Clauss (head of the team ICPS). |
Revision as of 11:30, 25 January 2021
- Franck Hétroy-Wheeler is an associate member of the MOSAIC team at the Inria Grenoble-Rhône-Alpes center on the theme of geometric analysis of plants.
- Around the theme of the topology-based modeling, David Cazier was a member of the team-project MIMESIS project being launched by Stéphane Cotin whose integration in IGG was validated by the direction committee of 06/08/2015 and last till December 2020.
- Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project CAMUS, in cooperation with the INRIA Nancy Grand-Est since its begining in 2010 by Philippe Clauss (head of the team ICPS).