Corentin De Souza
Senior Software Engineer, Static Analysis
France
Summary
👤
Senior🎓
Top SchoolCorentin De Souza is a Senior Software Engineer specializing in static program analysis, with 11 years of experience building and improving analyzers and provers across industry and research settings. He has contributed to high-profile open-source projects such as Facebook Infer—enhancing Objective-C nil-handling and retain-cycle detection—and maintained Coccinelle at Inria, modernizing its tooling and argument parsing. At MathWorks he focuses on strengthening Polyspace Bug Finder and Code Prover, bringing a blend of compiler construction, type-theory and abstract-interpretation expertise honed at Numalis and LexiFi. A functional programming enthusiast comfortable in OCaml and C/C++, he enjoys tackling algorithmic puzzles and translating theoretical ideas into practical, production-quality analysis features. Based in France, he pairs research-grade rigor with product engineering experience across both large tech and academic environments.
11 years of coding experience
6 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at EPITA: Ecole d'Ingénieurs en InformatiqueUniversity of StaffordshireBaccalauréat, Science, specialized in mathematics, Baccalauréat, Science, specialized in mathematics at Lycée Charles de Gaulle
English, French, Spanish
Github Skills (16)
objective-c10
memory-management10
static-analysis10
text-parsing10
parsing10
ocaml10
taint9
c119
argument-parsing9
command-line-parser9
command-line-arguments9
c179
refactoring8
refactor8
cprogramming-language7
Programming languages (1)
Github contributions (5)
facebook/infer
Sep 2021 - Dec 2022
A static analyzer for Java, C, C++, and Objective-C
Role in this project:
Back-end Developer
Back-end DeveloperContributions:82 commits in 1 year 3 months
Contributions summary:Corentin primarily worked on improving the Infer static analyzer for Objective-C code. Their contributions focused on enhancing the handling of nil values, including adding models for several NSString methods to prevent null dereferences. They also introduced new builtin functions and corrected logic for array and dictionary literal translations and introduced functionality to address retain cycles.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
coccinelle/coccinelle
Jan 2020 - Jun 2021
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Role in this project:Back-end Developer
Back-end DeveloperContributions:45 commits, 1 PR, 1 push in 1 year 5 months
Contributions summary:Corentin primarily worked on the Coccinelle project, contributing to its core functionality. Their contributions involved removing dependencies on outdated libraries, such as pygtk, and implementing new features related to command-line argument handling within cocci files. They also added a new option to handle C files, allowing processing based on their existence. Furthermore, the user refactored the argument parsing and improved the overall codebase with various bug fixes and enhancements.
inriacoccinelle
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.