Julien Grange

J'occupe depuis septembre 2021 un poste de maître de conférences au sein du LACL, le laboratoire d'informatique de l'Université Paris-Est Créteil.

J'effectue mes enseignements à la Faculté des Sciences et Technologie de l'UPEC.

Pour l'année 2020/2021, j'étais ATER à l'Université de Rennes 1, 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.

Contact

Bâtiment P2, bureau 228
Campus centre de l'Université Paris-Est Créteil
94 000 Créteil

Courriel : (λx λy λz x.y@z.fr) julien grange lacl

Enseignements

Pour cette année 2022/2023, j'interviens dans l'enseignement des modules suivants, au sein du cursus Informatique de la Faculté des Sciences et Technologies de l'UPEC :

Programmation mobile (Cours magistral et TP en L3)
Un cours de programmation sur la plateforme Android.
Se rendre sur la page du cours.

Systèmes et outils (TP en L3)
Un cours abordant le fonctionnement des systèmes d'exploitation UNIX et la programmation système.
Pour en savoir plus sur KRUG, un Capture the Flag à destination des étudiants du cours.

Programmation orientée objet (TP en L2)
Un cours d'introduction au monde orienté objet par le biais du langage Java.

Architecture matérielle (TD et TP en L1)
Un cours portant sur les circuits booléens et les différentes composantes d'une machine.
Pour jouer à Modus, une adapation de Motus à la logique propositionnelle.

Langages et automates (Cours magistral TD en L2)
Un cours d'introduction à la théorie des langages formels

Culture des langages informatiques (Cours magistral et TP en L3)
Panorama de differentes saveurs de langages de programmation, par le biais des langages Python, Lua, OCaml et JavaScript.

Recherche

Mon intérêt va principalement à la théorie des modèles finis.

Production scientifique

On the Expressive Power of Invariant Logics over Sparse Classes of Structures
Thèse de doctorat soutenue le 29 juin 2020.

Order-Invariant First-Order Logic over Hollow Trees
CSL 2020. Cet article est le fruit d'une collaboration avec Luc Segoufin.

Successor-Invariant First-Order Logic on Classes of Bounded Degree
LICS 2020, puis LMCS. Cet article a été récompensé par le Kleene Award (prix du meilleur article étudiant).
Ce résultat a été présenté à IJCAI 2021, dans la session Sister Conferences Best Papers, sous forme d'extended abstract et de poster.

On the nonexistence of FO-continuous path and tree-decompositions
Une note concernant les décompositions arborescentes vues sous l'angle de la logique du premier ordre.

Order-Invariance in the Two-Variable Fragment of First-Order Logic
Accepté à CSL 2023.