Qiran Li

Software Engineer at Microsoft AI

Suzhou City, Jiangsu, China
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
Qiran Li is a software engineer with eight years of experience building production-grade systems across AI, fintech, and research settings, currently working on Copilot at Microsoft AI. Proficient in Java, Kotlin, Python, Golang and TypeScript, he designs and ships cloud-native services using Spring, gRPC/REST, Kubernetes, ArgoCD and Terraform, backed by expertise in AWS, GCP, Snowflake and Postgres. His background blends data science (MS from Columbia) and hands-on ML production work, having contributed to ML engineering projects and research roles bridging model development and scalable deployment. At SoFi and prior quant roles he delivered data-driven, reliable systems for high-stakes financial workloads, while early research and startup stints reflect a pragmatic, experiment-forward approach. He favors observability and safety in production—instrumenting systems with DataDog, Monte Carlo, and Istio—and often crosses the stack from infrastructure to model serving. Based in Suzhou, Qiran combines rigorous academic training with a product-minded engineering style focused on operational robustness and measurable impact.
code8 years of coding experience
job3 years of employment as a software developer
bookBachelor of Economics, Finance, Bachelor of Economics, Finance at Tongji University
bookMaster of Science - MS, Data Science, Master of Science - MS, Data Science at Columbia University
github-logo-circle

Github Skills (14)

reasonml9
abstract9
monads8
functional-programming8
reason8
ocaml8
elm8
lenses8
dune7
category-theory7
homotopy-type-theory7
opam6
editor6
haskell6

Programming languages (1)

Reason

Github contributions (2)

github-logo-circle
hazelgrove/hazel

Feb 2020 - Feb 2020

Hazel, a live functional programming environment with typed holes
Contributions:1 commit, 1 PR, 7 pushes in 1 day
homotopy-type-theoryfunctional-programmingelmmonadsopam
qiranli/ml_fa

Apr 2018 - Apr 2018

Contributions:1 branch in 1 day
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