Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > GAMoC : Graphes, Algorithmes et Modèles de Calcul

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



GAMoC : Graphes, Algorithmes et Modèles de Calcul

Professeur

Maître de Conférences

Post-Doc

ATER

Doctorant


 

L’équipe GAMoC traite de questions d’algorithmique, de combinatoire, de complexité et de calculabilité des structures discrètes, en particulier des graphes, automates et pavages, utilisés pour modéliser des problèmes de natures diverses (réseaux sociaux, biologie, ordonnancement…). L’équipe étudie le calcul de propriétés de ces objets, que ce soit par la conception d’algorithmes efficaces ou par la démonstration de l’impossibilité de le faire. 

Autour des graphes, il s’agit typiquement de représenter des objets ainsi que les relations entre ceux-ci. Nos travaux traitent principalement d’algorithmique à paramètre fixé et d’algorithmes modérément exponentiels pour des problèmes NP-difficiles (de graphes).

Autour des modèles dynamiques discrets, comme les automates cellulaires et les pavages, nous étudions les interactions entre propriétés dynamiques, géométrie et calcul. Nous caractérisons la complexité des propriétés de ces objets, établissons des résultats d’impossibilité et développons une algorithmique intrinsèque à ces objets. Les compétences de l’équipe sur les graphes et les automates se combinent à l’occasion de travaux sur l’algorithmique distribuée.