Cody Roux
Software Engineer at Quarkslab
France
Summary
🤩
Rockstar🎓
Top SchoolCody Roux is a software engineer with 11 years of experience bridging deep academic research and high-assurance industrial software verification. He holds a PhD in computer science on termination of higher-order systems and has translated that theoretical expertise into practical tools—improving SMT solvers, developing interval analysis for Alt-Ergo, and analysing Java bytecode for cyber protection. Cody spent time as a postdoc at CMU and Draper Labs before applying formal methods at AWS to verify security-critical software, and now continues applied security work at Quarkslab. His strengths lie in functional programming, type theory, and theorem proving, with a knack for turning advanced semantics into scalable program-analysis components. An often-overlooked asset is his combined teaching and research background, which sharpens his ability to communicate complex proofs and designs to engineers and stakeholders.
11 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Université Henri Poincaré, Nancy 1Master 2, Mathematics, Master 2, Mathematics at Universite Nice Sophia-AntipolisBS, Mathematics, BS, Mathematics at Université Joseph Fourier (Grenoble I)
French, English
Stackoverflow
235reputation
5kreached
2answers
2questions
Github Skills (78)
programming-language10
verification10
static-analysis9
in-place9
symbolic-execution9
security9
program-analysis9
introspection9
vlsi9
zest9
reverse-engineering9
ocaml9
x869
dafny9
editing9
Programming languages (11)
Github contributions (5)
draperlaboratory/VIBES
Dec 2020 - Nov 2021
Verified, Incremental, Binary Editing with Synthesis
Contributions:207 commits, 3 comments in 10 months
editingsynthesisincrementalverified
codyroux/broad-coq-tutorial
Dec 2019 - Feb 2021
Some unstructured notes concerning the Broad tutorial to take place in March 2020
Contributions:27 commits, 1 PR, 20 pushes in 1 year 1 month
placemarchnotesin-placeunstructured
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.