Jérémy Dubreil
Software Engineer at Fortinet
France
Summary
🤩
Rockstar🎓
Top SchoolJérémy Dubreil is a software engineer with 11 years of experience specializing in formal methods, static analysis, type systems and model checking to improve software reliability, security and performance. He has driven research and production deployments of advanced static analysis at Facebook—working on Infer and Clang/LLVM-based tools—and now leads development of a SAST product at Fortinet. His open-source contributions to high-profile projects like Infer, Buck, Litho and Fresco reveal a pragmatic focus on code quality, null-safety and tooling internals (including bytecode/class handling and error-reporting consistency). With a PhD in computer science and a background in formal security research, he blends deep theoretical expertise with hands-on engineering to scale analyses to real-world codebases. Colleagues rely on him to turn sophisticated formal techniques into practical developer workflows that find regressions and prevent crashes.
11 years of coding experience
14 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Université de Rennes IM.Eng, Telecomunication, M.Eng, Telecomunication at IMT AtlantiqueB.Sc, Mathematics, B.Sc, Mathematics at University of NantesM.Sc, Computer Science, M.Sc, Computer Science at Uppsala University
French, English
Github Skills (17)
error-reporting10
buck10
static-analysis10
null-safety10
annotations10
java10
fresco10
annotation-processing10
javas10
android10
litho10
build-tools10
annotate10
c-language9
bytecode-manipulation9
Programming languages (8)
Github contributions (5)
facebook/infer
Jun 2015 - Nov 2022
A static analyzer for Java, C, C++, and Objective-C
Role in this project:
Back-end Developer
Back-end DeveloperContributions:9 reviews, 661 commits, 19 PRs in 7 years 6 months
Contributions summary:Jérémy contributed to the Infer static analyzer, primarily focusing on Java and C++ code. The commits reveal a focus on fixing inconsistencies in error reporting between generated reports and standard output. The user demonstrates an understanding of the tool's internal workings and the handling of Java byte code and class structures through modifications to core components.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
facebook/litho
May 2018 - Dec 2020
A declarative framework for building efficient UIs on Android.
Role in this project:Mobile Developer
Mobile DeveloperContributions:9 commits in 2 years 7 months
Contributions summary:Jérémy's contributions primarily focused on adding missing `@Nullable` annotations across various Java files within the Litho framework. This included annotations in the `TextSpec`, `Output`, `RecyclerBinderConfiguration`, `RecyclerCollectionComponentSpec`, `RecyclerBinder`, `ImageSpec`, and `ComponentTreeHolder` classes. These changes appear aimed at improving code quality and null safety. This user was also involved in fixing Nullsafe type errors on components configuration, specifically in the FBLite project, which helps in improving code quality and prevent crashes.
uisdeclarativeandroid
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.