Mark Lavrentyev

Security Engineer at Stripe

Seattle, Washington, United States
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

🤩
Rockstar
🎓
Top School
Mark Lavrentyev is a Security Engineer with 11 years of engineering experience who blends deep systems and compiler curiosity with practical security and analytics delivery. He helped drive low-latency telemetry and developer tooling at Microsoft’s Dynamics analytics team and now applies that product-security focus at Stripe. His background spans internships and research—from building Prolog engines and optimized vision pipelines to developing analytics and alerts systems—showing a knack for both low-level implementation and large-scale data flows. A Brown Sc.B. in Math and Computer Science, he brings teaching and team leadership experience (Head TA, racing team captain) that sharpens cross-functional collaboration. Outside his day job he explores language design and compilers, a signal of rigorous problem-solving that complements his work in security and observability.
code11 years of coding experience
job3 years of employment as a software developer
bookBachelor of Science - Sc.B., Mathematics and Computer Science, Bachelor of Science - Sc.B., Mathematics and Computer Science at Brown University
languagesEnglish, Russian
stackoverflow-logo

Stackoverflow

Stats
1,899reputation
218kreached
59answers
19questions
github-logo-circle

Github Skills (57)

formal-methods10
distributed-tracing10
mathematics10
mathematical10
asp-net-core10
forge10
asp-net10
ilogger10
opentelemetry10
netcore10
theorem-proving10
logging10
telemetry10
electron9
javascript9

Programming languages (12)

C#TypeScriptJavaCSSC++LeanRacketJavaScript

Github contributions (5)

github-logo-circle
MLavrentyev/DinoNet

Jul 2018 - Aug 2019

An attempt at getting a computer to play Chrome's dino game on its own.
Contributions:62 commits, 13 pushes in 1 year 1 month
chrome
Contributions:86 commits, 54 pushes, 1 branch in 2 years 1 month
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