a person in the record
Nathanaël Fijalkow
Supervised 5 doctoral students at Université de Bordeaux; doctorate at Université Paris Diderot - Paris 7 in 2015 under Mikołaj Bojanczyk and Thomas Colcombet; doctoral advisors Mikołaj Bojańczyk and Thomas Colcombet on Wikidata; 1 doctoral student on Wikidata.
Advisors
- Mikołaj Bojanczyk2015 · Université Paris Diderot - Paris 7 · doctoral
- Thomas Colcombet2015 · Université Paris Diderot - Paris 7 · doctoral
Students5
- Gabriel Bathie“Fast approximation algorithms for formal languages”2025 · Université de Bordeaux · doctoral
- Rémi Morvan“Homomorphism problems in graph databases and automatic structures”2025 · Université de Bordeaux · doctoral
- Théo Matricon“Domain agnostic techniques for scaling up program synthesis”2024 · Université de Bordeaux · doctoral
- Antonio Casares“Structural properties of automata over infinite words and memory for games”2023 · Université de Bordeaux · doctoral
- Ritam Raha“Learning and Verifying Temporal Specifications for Cyber-Physical Systems”2023 · Université de Bordeaux · doctoral
Advisors on Wikidata
From Wikidata, shown separately from the thesis records.
Theses1
- “Counting and Randomising in Automata Theory”2015 · Université Paris Diderot - Paris 7 · doctoral
also named on this thesis
- Nathalie Bertrandjury member
- Anuj Dawarjury member
- Antonin Kučerajury member
- Damian Niwińskijury member
- Jean-Éric Pinjury member
- Wolfgang Thomasjury member
- Paweł Urzyczynjury member
Sat beside the lineage
Theses where they were a committee member, examiner or in another role, not as advisor.
- Nathanaël Beau“Python code generation from a natural language description”referee · 2024 · Université Paris Cité · doctoral
- Mohamed Reda Marzouk“Intelligibility of Recurrent Neural Networks via Finite State Machines”referee · 2024 · Nantes Université · doctoral
- Grégoire Menguy“Black-box code analysis for reverse engineering through constraint acquisition and program synthesis”jury member · 2023 · Université Paris-Saclay · doctoral
- Soumyajit Paul“On the algorithmic complexity of two player zero-sum games of finite duration with imperfect information”jury member · 2023 · Université de Bordeaux · doctoral
- Nathan Thomasset“Finite-memory strategies in concurrent two-player games”referee · 2023 · Université Paris-Saclay · doctoral
- Xavier Badin de Montjoye“Strategy improvement method for solving simple stochastic games”referee · 2022 · Université Paris-Saclay · doctoral
- Pierre Ohlmann“Monotonic graphs for parity and mean-payoff games”jury member · 2021 · Université Paris Cité · doctoral