Marcus De Vries
Software Engineer (Rust) at DNA.inc
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolMarcus De Vries is a Rust-focused software engineer based in Amsterdam with 11 years of experience modernizing stacks and building reliable backend systems. Currently at DNA, he applies his mathematics background and practical data engineering experience to help clients migrate and harden software using Rust. Marcus is an active open-source contributor to flagship Rust projects—rustfmt, rusqlite and rust-analyzer—where he’s improved formatting, SQLite ergonomics and type inference in IDE tooling. His career blends applied mathematics, data systems and compiler-adjacent work, reflecting a rare mix of formal reasoning and production-grade engineering. Colleagues describe him as a pragmatic problem-solver who leverages deep technical curiosity (e.g., compiler internals and formal verification studies) to deliver maintainable, well-tested solutions.
11 years of coding experience
8 years of employment as a software developer
Master of Science - MS Mathematics, Master of Science - MS Mathematics at University of Amsterdam
Github Skills (21)
type-inference10
sqlite10
binding10
syntax10
code-analysis10
compiler-design10
sql10
rust-analyzer10
rust10
wrapper10
syntax-checking10
code-formatting10
testing9
language-server-protocol9
parsing9
Programming languages (18)
Github contributions (5)
rust-lang/rustfmt
May 2015 - Dec 2019
Format Rust code
Role in this project:
Back-end Developer
Back-end DeveloperContributions:272 PRs, 128 pushes, 47 branches in 4 years 8 months
Contributions summary:Marcus's contributions center around improving the rustfmt tool, specifically focusing on the formatting of Rust code. They implemented features to correctly indent and format use items, functions, and match arms. The user also made improvements to handle string literals and chain expressions. Furthermore, they have worked on improvements to support the formatting of other code structures like trait methods, enums and tuple structs.
rustcodeformatterformatterrustfmt
rust-lang/rust-analyzer
Jan 2019 - Mar 2019
A Rust compiler front-end for IDEs
Role in this project:Back-end Developer
Back-end DeveloperContributions:12 PRs, 69 comments, 3 issues in 2 months
Contributions summary:Marcus contributed significantly to the type inference capabilities within the Rust Analyzer project. Their work involved implementing type inference for boolean and other binary operators, including adding support for additional binary operations. They also focused on incorporating type hints and refining type inference logic for literals, including strings, booleans, and characters, demonstrating an understanding of the compiler's front-end. Furthermore, the user improved code maintainability by addressing and correcting various typos.
rustlsp-servercompileridefront-end
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.