Julien Grange

Maître de conférences en informatique à l'Université Paris-Est Créteil.
Responsable de la L2 informatique à la Faculté des Sciences et Technologies.

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 5 et fakeweather

  Sujet d'examen pour l'année 2025/2026

  • CC

  Sujets d'examen pour l'année 2024/2025

  • TP 5, vermouth, vodka, olive et verre
  • TP 7 et mangouste

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

  • TP 5
  • TP 7 et animaux

  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

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

  • TD 4a et TD 4b
  • TD 8a et TD 8b
  • 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

  Python

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

  Scala

  • Fiche-Triche
  • TP 3
  • TP 4

  Sujets d'examen pour l'année 2025/2026

  • Python : CC
  • Scala : CC

  Sujets d'examen pour l'année 2024/2025

  • Python : CC
  • Scala : CC
  • JavaScript : CC

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

  • Python : CC
  • JavaScript : CC
  • Scala : CC

  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
• Projet du semestre 6

  Sujet pour l'année 2024/2025

  • Prix de l'immobilier francilien

  Sujet pour l'année 2023/2024

  • Ultimate Mushroom

  Sujet pour l'année 2022/2023

  • A Song of Link and Wire

Recherche

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

Production scientifique

• Order-invariant cluster first-order logic on graph classes of bounded degree

  Avec Fatemeh Ghasemi

• Weakly-sparse and strongly flip-flat classes of graphs are uniformly almost-wide

  CSL 2026, avec Fatemeh Ghasemi, Mamadou Kanté et Florent Madelaine

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

  LMCS, avec Bartosz Bednarczyk

• Specification and Automatic Verification of Computational Reductions

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

• Toward Green Data Lake Management and Analysis Through a CTMC Model

  VECoS 2024, avec Marzieh Derakhshannia et Nihal Pekergin.

• 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

• 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

• Toward Green Data Lake Management and Analysis through a CTMC Model à VECoS 2024, Djerba.
• 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.