Alexandre Moine
Postdoctoral Associate In Computer Science
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolAlexandre Moine is a postdoctoral associate in computer science at NYU Courant with 12 years of experience blending formal methods and software engineering. He completed a PhD at Université Paris Cité focused on extending Separation Logic to formally verify space bounds, bringing deep Coq-based mechanization and theory-to-tooling experience. His background includes research internships and industry work—building a LIGO linter for Tezos and benchmarking/optimizing algebraic graph libraries—so he moves fluidly between rigorous proofs and practical implementations. Based in New York, he combines a strong mathematical foundation with hands-on contributions to formalizations of transient data structures, reflecting a rare mix of theorem-proving expertise and systems-oriented pragmatism.
12 years of coding experience
Ph.D.Thesis Computer Science, Ph.D.Thesis Computer Science at Université Paris CitéBaccalauréat scientifique, Baccalauréat scientifique at Lycée Les Pierres Vives
Github Skills (74)
haskell10
redundancy10
graph10
ocaml10
algebra10
open-source10
game-engine9
opam9
package-repository9
linux9
azerothcore9
sdl9
synthesizer9
synthesis9
roguelike9
Programming languages (10)
Github contributions (5)
nobrakal/alga-tutorial-newfashion
Jun 2018 - Jun 2018
Contributions:74 commits, 49 pushes, 1 branch in 21 days
nobrakal/coq-alga
Nov 2018 - Jan 2019
Contributions:49 commits, 30 pushes, 1 branch in 2 months
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.