Victor Dumitrescu
Software Engineer at Nomadic Labs
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolVictor Dumitrescu is a software engineer with 12 years of experience specializing in verified cryptography and functional programming languages, based in Paris. He contributes to industry-grade cryptographic projects at Nomadic Labs and to the HACL* verified crypto library, and previously worked on the F* verification-focused ML-style language at Inria. His engineering work spans compiler internals and tooling—evidenced by contributions to pretty-printing OCaml ASTs in the FStarLang/FStar project—reflecting deep familiarity with language runtimes and source-level presentation. An academic foundation from the University of Edinburgh (First Class BSc, MSc Res) complements hands-on research internships at Microsoft Research and practical roles across testing, tooling and teaching, highlighting both rigorous formal methods expertise and real-world engineering impact.
12 years of coding experience
3 years of employment as a software developer
BSc (Hons), Artificial Intelligence and Computer Science, First Class, BSc (Hons), Artificial Intelligence and Computer Science, First Class at The University of Edinburgh
English, Romanian, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
abstract-syntax-tree10
ocaml10
internals9
semantics9
compiler9
Programming languages (6)
Github contributions (5)
FStarLang/FStar
Jan 2017 - Jan 2019
A Proof-oriented Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:399 commits, 8 PRs, 250 pushes in 1 year 11 months
Contributions summary:Victor's commits focus on setting up the pretty printing of OCaml abstract syntax trees within the F* language project. The code changes involve the definition and implementation of key methods to properly manage and display various elements of the abstract syntax tree. This indicates the user's expertise in contributing to the internals of the compiler, specifically towards source code presentation.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
victor-dumitrescu/opam-repository
Mar 2020 - Oct 2024
Contributions:21 PRs, 79 pushes, 32 branches in 4 years 7 months
package-managerpackage-repositoryocamlopam
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.