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.
12 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 (26)
documentation-generator10
jupyter9
automata-theory9
code-generation8
pdf8
doi8
markdown8
sphinx-extension7
z36
monoid6
sphinx-doc6
css5
algorithm4
python4
citation4
Programming languages (9)
Github contributions (5)
nathanael-fijalkow/nathanael-fijalkow.github.io
Sep 2017 - Sep 2022
Contributions:1 PR, 437 pushes, 1 branch in 5 years 1 month
nathanael-fijalkow/DeepSynth
Jun 2021 - Dec 2022
DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of input and output, DeepSynth finds a program matching the examples.
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.