Nathanaël Fijalkow
Directeur De Recherche Au CNRS ( Full Professor)
Bordeaux, Nouvelle-Aquitaine, France
Summary
👤
Senior🎓
Top SchoolNathanaël Fijalkow is a research director at CNRS and a computer science researcher with 12 years of experience specializing in program synthesis and theoretical foundations of computation. He has held fellowships at the Alan Turing Institute and the Simons Institute and contributed to research on logical structures and linear dynamical systems during appointments at Oxford and major research semesters. Based in Bordeaux, he blends deep theoretical insight from a PhD at Univ Paris Diderot and ENS Paris-Saclay with practical collaborations at NukkAI, connecting formal methods to applied AI. His trajectory from research assistant to full professor-level leadership reflects a strong record of sustained, high-impact inquiry into program synthesis. Unusually for a theorist, he bridges international research ecosystems and interdisciplinary projects, making foundational ideas accessible to applied AI settings.
11 years of coding experience
1 year of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at École normale supérieure Paris-SaclayDoctor of Philosophy - PhD, Computer Science, PhD, Doctor of Philosophy - PhD, Computer Science, PhD at Univ Paris Diderot
Stackoverflow
111reputation
154reached
0answers
1question
Github Skills (28)
documentation-generator10
jupyter9
pdf9
automata8
doi8
sphinx-doc8
markov-decision-processes7
directives6
z36
citation5
sphinx-extension5
css5
sphinx5
markdown5
python4
Programming languages (7)
Github contributions (5)
nathanael-fijalkow/acme
Jun 2014 - Jul 2022
Contributions:9 commits, 8 pushes in 8 years 2 months
nathanael-fijalkow/DeepSynth
Jun 2021 - Dec 2022
Contributions:1 review, 61 commits, 3 PRs in 1 year 5 months
synthesisergeneral-purposepurpose
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.