Marina Polubelova
Software Engineer at Nomadic Labs
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolMarina Polubelova is a software engineer based in Paris with 12 years of experience bridging formal research and production-grade back-end development. Currently at Nomadic Labs after a PhD at École normale supérieure and research roles at Inria, JetBrains and Microsoft, she specializes in formal methods, low-level cryptographic implementations, and graph algorithms. Her open-source work includes contributing an FST implementation to YaccConstructor/QuickGraph and adding RSA-PSS test vectors and assembly-level primitives to the formally verified HACL* crypto library, highlighting a rare mix of practical systems coding and formal verification. Comfortable working across F#, F*, and assembly, she brings rigorous testing and integration discipline to complex, correctness-critical systems. An infrequent but pointed detail: she combines academic rigor from doctoral research with hands-on contributions that merge cryptography and graph-theoretic tooling.
12 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Ecole normale supérieureMaster’s Degree, Master’s Degree at Saint Petersburg State University
Russian, English
Github Skills (14)
algorithm10
data-structures10
fsharp10
fs10
low-level-programming10
assembly10
f10
x86-6410
cryptography10
data-structure10
fstar10
csharp9
graph-algorithms9
test-automation8
Programming languages (8)
Github contributions (5)
hacl-star/hacl-star
May 2017 - Jan 2023
HACL*, a formally verified cryptographic library written in F*
Role in this project:
Back-end Developer
Back-end DeveloperContributions:218 reviews, 1708 commits, 108 PRs in 5 years 9 months
Contributions summary:Marina's commits show a focus on implementing cryptographic primitives, especially within the F* language. The user appears to be working on low-level implementations, including assembly code. Their contributions involve merging code from other branches, suggesting they're integrating their work into the broader HACL* cryptographic library. Furthermore, the user is adding test vectors for the RSA-PSS algorithm.
inriacoq-librarycryptographicformal-verificationverified
YaccConstructor/QuickGraph
Jul 2014 - Mar 2016
Generic Graph Data Structures and Algorithms for .NET
Role in this project:Backend Developer
Backend DeveloperContributions:75 commits, 1 push in 1 year 7 months
Contributions summary:Marina primarily contributed to the development of a Finite State Transducer (FST) implementation within the repository, which includes graph data structures and algorithms. Their commits involved creating and modifying files written in F#, focusing on the core logic of the FST, including the edge and state representations, transition tables, and the integration of QuickGraph for graph operations. The user also added tests to validate the FST implementation, demonstrating a focus on creating robust and functional code.
dotnetgraph-dataalgorithms-and-data-structuresgenericcsharp
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.