Marco Perronet

Senior Software Engineer at Wayve

London, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
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.
code8 years of coding experience
job3 years of employment as a software developer
bookMaster's degree, Computer Science, Master's degree, Computer Science at RPTU Kaiserslautern-Landau
bookBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Università degli Studi di Torino
languagesItalian, English, French, German
github-logo-circle

Github Skills (9)

javas10
datalog10
static-analysis10
software-quality10
java10
c117
c177
cpp7
objective-c6

Programming languages (8)

TypeScriptShellRustCOCamlJavaScriptHTMLPython

Github contributions (5)

github-logo-circle
facebook/infer

Jun 2022 - Aug 2022

A static analyzer for Java, C, C++, and Objective-C
Role in this project:
userBack-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.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
perronet/moodle-downloader

Sep 2018 - Mar 2020

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