Stephen Lazaro
Senior Software Engineer (L64) at Microsoft
Oakland, California, United States
Summary
👤
Senior🎓
Top SchoolStephen Lazaro is a Senior Software Engineer with 11 years of experience building large-scale, production systems and a passion for functional programming and algebraic approaches. Currently at Microsoft, he contributes to Copilot’s next-generation AI integrations, extensibility pipelines, and research-backed feature work after shaping dialogue systems and incremental compilers. Previously he owned online model scoring infrastructure at Credit Karma, driving cost reductions, cloud migrations, and deterministic testing that accelerated partner integrations. Known for improving developer tooling—REPLs, visualization of constraint solvers, and CI pipelines—he blends deep math instincts (MA-level study) with pragmatic engineering. Based in Oakland, he gravitates to elegant, type-forward solutions and often brings academic rigor to practical problems, from compiler speedups to production reliability. His GitHub persona (“Have functor, will travel”) hints at a playful functional-programming fluency that informs his engineering style.
11 years of coding experience
9 years of employment as a software developer
Master of Arts - MA Mathematics, Master of Arts - MA Mathematics at San Francisco State UniversityBachelor of Arts Mathematics and Philosophy, Bachelor of Arts Mathematics and Philosophy at University of California, BerkeleyHigh School, High School at Shorecrest High School
English, Latin, Spanish
Stackoverflow
168reputation
17kreached
5answers
1question
Github Skills (91)
continuation10
node-http10
effects10
raise10
extensible10
rust-language10
garbage-collection10
rust-lang10
modular10
compiler10
rust10
finch10
scala10
crate10
asynchronous10
Programming languages (6)
Github contributions (5)
stephen-lazaro/rust
Jun 2017 - Aug 2024
A safe, concurrent, practical language.
Contributions:3 pushes, 2 branches in 7 years 3 months
concurrent-saferustpracticalcompilerprogramming-language
stephen-lazaro/persians
Jan 2017 - Jan 2020
Contributions:78 commits, 51 pushes, 2 branches in 2 years 11 months
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.