Algèbre et structures oligomorphes // algebra and oligomorphic structures

Topic description

Nous proposons un sujet de recherche en informatique théorique, axé sur l'étude de structures algébriques (espaces vectoriels, anneaux de polynômes) sur les structures oligomorphes. Ces objets sont des structures infinies dotées de riches propriétés de symétrie, utiles pour la modélisation de problèmes de calcul manipulant des domaines de données infinis. Le développement d'outils algébriques dans ce contexte trouve de nombreuses applications en vérification et soulève des questions intéressantes en théorie des modèles.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------

We propose a research subject in the area of theoretical computer science and algebra, focusing on the study of algebra over oligomorphic structures. Here, oligomorphic structures are understood as infinite structures with rich symmetry properties, that find use in modeling computational problems manipulating infinite data domains. Developing algebraic tools in such contexts finds numerous applications in verification, and yields interesting questions in model theory.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Début de la thèse : 01/10/

Funding category

Public funding alone (i.e. government, region, European, international organization research grant)

Funding further details

Concours pour un contrat doctoral