Institution. Université Henri Poincaré (Nancy 1) PhD alumni Claude Kirchner claudekirchnerInria PhD advisorJean-Pierre Jouannaud PhD studentsCody Roux PhDUniversité Henri Poincaré (Nancy 1) 0000-0002-1686-1046 Cody Roux codyrouxApplied Scientist · Amazon Web Services PhD advisorClaude Kirchner PhDUniversité Henri Poincaré (Nancy 1) kleene.church · codyroux