Julien Grange

Maître de conférences en informatique à l'Université Paris-Est Créteil.

Contact

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

Enseignements

Jeux pédagogiques

• Automotus, où l'on cherchera à deviner une expression régulière
• Krug, un capture the flag pour trouver ses limites en programmation système
• Modus, pour tester ses connaissances en logique propositionnelle

Matériel de cours

• Programmation mobile

  Transparents des cours

  • Généralités
  • Intent
  • View
  • Sensor
  • Réseau et RecyclerView, et discotheque.json

  Sujets de TP

  • Manuel de prise en main d'Android Studio
  • TP 1
  • TP 2
  • TP 3
  • TP 4
  • TP 6 et fakeweather

  Sujets d'examen pour l'année 2022/2023

  • TP 5a et TP 5b
  • TP 7, sous-bois, cèpe, phalloïde et tue-mouches

  Sujets d'examen pour l'année 2021/2022

  • TP 5a et croissant
  • TP 5b, chocolatine, barre en chocolat et croissant
  • TP 7, taupe, taupinière et meilleur score.
• Langages et automates

  Sujets de TD

  • TD 1
  • TD 2
  • TD 3
  • TD 4a et TD 4b
  • TD 5
  • TD 6
  • TD 7
  • TD 8a et TD 8b
  • TD 9
  • TD 10a et TD 10b

  Sujets d'examen pour l'année 2022/2023

  • TD 4a, TD 4b, TD 4c et TD 4d
  • TD 7a, TD 7b, TD 7c et TD 7d
  • TD 8
  • TD 10a, TD 10b, TD 10c et TD 10d
• Cultures des langages informatiques

  Projet

  • Sujet du projet

  Python

  • Fiche-Triche
  • TP 1
  • TP 2 et King's Landing
  • CC Python

  Scala

  • Fiche-Triche
  • TP 3
  • TP 4
  • CC Scala

  JavaScript

  • Fiche-Triche
  • TP 5
  • TP 6, crepe.png, hermine.png, tp6.html et style.css
  • CC JavaScript

  Sujets d'examen pour l'année 2022/2023

  • Python : CCa, CCb et King's Landing
  • JavaScript : CCa, CCb et King's Landing
  • Scala : CCa et CCb
  • Sujet du projet

Recherche

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

Production scientifique

• Specification and Automatic Verification of Computational Reductions

  MFCS 2024, avec Fabian Vehlken, Nils Vortmeier and Thomas Zeume

• Synthesis for prefix first-order logic on data words

  FORTE 2024, avec Mathieu Lehaut

• First order synthesis for data words revisited

  LAMAS&SR 2023, avec Mathieu Lehaut

• About the Expressive Power and Complexity of Order-Invariance with Two Variables

  Co-écrit avec Bartosz Bednarczyk

• Order-Invariance in the Two-Variable Fragment of First-Order Logic

  CSL 2023

• On the nonexistence of FO-continuous path and tree-decompositions

  Une note sur les décompositions arborescentes vues sous l'angle de la logique du premier ordre

• Order-Invariant First-Order Logic over Hollow Trees

  CSL 2020, avec Luc Segoufin

• Successor-Invariant First-Order Logic on Classes of Bounded Degree

  LICS 2020, puis LMCS pour la version journal. 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 Expressive Power of Invariant Logics over Sparse Classes of Structures

  Thèse de doctorat soutenue le 29 juin 2020

• A compact description of finite simple groups

  Stage de Master 2 (MPRI), été 2016

Présentations choisies

• Synthesis for prefix first-order logic on data words à FORTE 2024, Groningen.
• Synthesis for fragments of first-order logic on data words au séminaire GREYC de Caen.
• Specification and Automatic Verification of Computational Reductions pour les Complexity Days 2023, Paris.
• First order synthesis for data words revisited à LAMAS&SR 2023, Cracovie.
• An Introduction to invariant logics au Logic Mentoring Workshop 2023, Varsovie.
• Order-Invariance in the Two-Variable Fragment of First-Order Logic à CSL 2023, Varsovie.
• Successor-Invariant First-Order Logic on Classes of Bounded Degree à la Ruhr-Universität Bochum.
• Order-Invariant First-Order Logic over Hollow Trees à CSL 2020, Barcelone.