Marco Perronet is a Senior Software Engineer based in London with eight years of experience building robust backend systems and robotics software, currently at Wayve. He bridges research and production engineering, transitioning from a PhD student at the Max Planck Institute to roles at Bloomberg and Meta where he shipped scalable backend features. His open-source contributions include substantive work on Facebook's Infer static analyzer—implementing Java datalog support, jar scanning, and class-level fact generation to improve reflection and allocation analysis. Comfortable across low-level program analysis, distributed services, and robot software stacks, he brings a pragmatic, research-informed approach to complex engineering problems. Colleagues rely on him for careful systems thinking and for turning academic ideas into production-ready tooling.
A static analyzer for Java, C, C++, and Objective-C
Role in this project:
Back-end Developer
Contributions:17 commits in 1 month
Contributions summary:Marco primarily contributed to the development of a static analyzer for Java, focusing on the Java datalog part of the project. Their work involved implementing a jar scanner to estimate lines of code and detect Java reflection usages within the codebase. They also added support for class-level fact generation, and implemented facts for allocations, casts, virtual and static calls. These additions enhance the analyzer's ability to detect potential issues within Java applications.
Simple bash script that downloads school material from moodle using recursive download with wget.
Contributions:18 commits, 1 PR, 16 pushes in 1 year 6 months
wgetrecursivebashbash-scriptmoodle
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.
Request Free Trial
Marco Perronet - Senior Software Engineer at Wayve