Julien聽Cretin
Software Engineer at Google
Zurich, Zurich, Switzerland
Summary
馃ぉ
Rockstar馃帗
Top SchoolJulien Cretin is a software engineer in Zurich with 14 years of experience blending research-grade language theory and practical systems engineering. He holds a PhD-level background in programming languages and has applied formal methods and static analysis professionally at TrustInSoft and now at Google Shopping. Julien contributes to notable open-source projects in Rust and embedded systems鈥攈elping secure FIDO2 firmware in google/OpenSK and improving nRF microcontroller HALs鈥攕howing a steady focus on low-level correctness and storage semantics. His work spans static analyzers with mathematical guarantees to real-world firmware optimizations, reflecting both theoretical depth and systems pragmatism. An uncommon trait: he moves fluently between writing technical spec fixes for WebAssembly and implementing performant concurrent feature extraction tooling, demonstrating unusual breadth across tooling, docs, and embedded firmware.
14 years of coding experience
3 years of employment as a software developer
Louis le GrandDipl么me d'ing茅nieur (eq. M.Sc), Computer Science, Dipl么me d'ing茅nieur (eq. M.Sc), Computer Science at Telecom ParisDipl么me d'Ing茅nieur (eq. M.Sc), Computer Science, Dipl么me d'Ing茅nieur (eq. M.Sc), Computer Science at Ecole polytechniqueMaster's degree, Computer Science, Master's degree, Computer Science at MPRI
Github Skills (23)
firmware10
language-server-protocol10
microcontroller10
persistent-storage10
emacs10
sys10
file-processing10
embedded10
rust-analyzer10
rust10
nrf5210
documentation10
hal10
cli10
sha9
Programming languages (18)
Github contributions (5)
google/OpenSK
Feb 2020 - Dec 2022
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
Role in this project:
Back-end & Firmware Engineer
Back-end & Firmware EngineerContributions:911 reviews, 343 commits, 169 PRs in 2 years 10 months
Contributions summary:Julien's contributions primarily involved implementing features and addressing issues related to persistent storage within the OpenSK firmware. Their work included adding support for storing data in RAM, incorporating a mechanism to wipe sensitive data upon entry deletion, and modifying and adapting flash-based storage with various optimizations for writing to and from storage. The user's contributions also expanded code functionalities and corrected design flaws in the store's performance. Furthermore, they adjusted and corrected the interface with the flash subsystem, as well as adjusted the firmware to the usage of a custom made storage.
nrf52840hardwareu2fcryptographyfirmware
google/magika
Feb 2024 - Apr 2025
Detect file content types with deep learning
Role in this project:Back-end Developer
Back-end DeveloperContributions:68 reviews, 80 PRs, 37 pushes in 1 year 1 month
Contributions summary:Julien primarily contributed to the initial implementation of a Rust-based CLI for the `magika` project. This included setting up the project structure with placeholder files for the Rust library and CLI components. Furthermore, the user developed the core configuration loading mechanism and feature extraction logic, enabling the CLI to process and analyze files. Subsequent commits added support for batch inference and concurrent feature extraction, improving the tool's performance.
deep-learningfiletypekeras-classification-modelskeras-modelsmime-types
Find and Hire Top DevelopersWe鈥檝e 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.