Je suis ATER à l'Université de Rennes 1 depuis le 1er septembre 2020, intégré à l'équipe LogicA de l'IRISA. Avant cela, je préparais ma thèse de doctorat dans l'équipe Valda du DIENS, sous la direction de Luc Segoufin.
Voici un bref CV.Bureau 007, bâtiment 13
Campus de l'Université de Rennes 1
35.000 Rennes
Courriel : (λx λy λz x.y@z.fr) julien grange inria
Mon intérêt va principalement à la théorie des modèles finis.
Plus précisément, j'étudie le pouvoir d'expression des extensions de la logique du premier ordre (et de ses fragments) définies par invariance. Je me penche par ailleurs sur les questions de décidabilité de la logique du premier ordre à deux variables dotée de relations additionnelles.
On the Expressive Power of Invariant Logics over Sparse Classes of Structures
Thèse de doctorat soutenue le 29 juin 2020.
Successor-Invariant First-Order Logic on Classes of Bounded Degree
LICS 2020. Cet article a été récompensé par le Kleene Award (prix du meilleur article étudiant).
Order-Invariant First-Order Logic over Hollow Trees
CSL 2020. C'est article est le fruit d'une collaboration avec Luc Segoufin.
Pour cette année 2020/2021, je participe à l'enseignement des modules suivants, à l'ISTIC (Université de Rennes 1) :
Informatique 1 (L1) :
Un cours d'introduction au langage Java et à la programmation impérative.
Programmation 1 (L3) :
Un cours portant sur la manipulation des différentes structures de données. L'implémentation de ces notions est faite en Java.
Programmation de confiance (L3) :
Un cours d'introduction à la preuve de programmes, avec l'outil Why3.
Je prends aussi part aux modules suivants, au sein du département informatique de l'ENS de Rennes :
Logique (L3/M1) :
Un cours d'introduction à la logique propositionnelle et à celle du premier ordre.
Agrégation de mathématiques (M2) :
Préparation aux oraux des agrégatifs ayant choisi l'option informatique.