Victor Nicolet
Applied Scientist at Amazon Web Services (AWS)
United States
Summary
👤
Senior🎓
Top SchoolVictor Nicolet is an Applied Scientist at AWS’s Automated Reasoning Group with 11 years of experience bridging programming languages, formal methods, and program synthesis. He completed a PhD at the University of Toronto where he built tools like Parsynt and Synduce to automatically parallelize loops and synthesize recursive equivalents, aiming to make correct, efficient code generation more practical. His work blends theoretical frameworks with tooling, moving ideas from research prototypes to implementations that can aid real-world software development. Victor’s background spans French grandes écoles and hands-on systems research, including a military internship that shaped his disciplined approach to complex problems. He is particularly focused on automating hard programming tasks—turning program semantics into synthesis and parallelization strategies that reduce developer burden.
11 years of coding experience
5 years of employment as a software developer
Lycée Aux Lazaristes, Lyon, FranceDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of TorontoDiplôme d'ingénieur 18 mois, Computer and Information Sciences, General, Diplôme d'ingénieur 18 mois, Computer and Information Sciences, General at Telecom ParisTechParisian Masters of Research in Computer Science, Mathematics and Computer Science, Parisian Masters of Research in Computer Science, Mathematics and Computer Science at Université Paris DiderotMaster of Science - MS, Master of Science - MS at École Polytechnique
French, English, German
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (17)
divide10
divide-and-conquer10
recursive10
synthesizer9
ocaml9
midi9
parallel8
opam8
package-repository7
transformer7
openmp6
mex6
package-manager6
parallel-processing6
multithreading6
Programming languages (5)
Github contributions (5)
synduce/Synduce
Apr 2020 - Jul 2022
An automatic recursive function transformer.
Contributions:4 releases, 706 commits, 18 PRs in 2 years 3 months
synthesis-algorithmtransformerocamlrecursive
victornicolet/tiling-strategies
May 2015 - Jul 2015
Contributions:8 PRs, 160 pushes, 16 branches in 2 months
tiling
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.