Boxuan Li
Member Of Technical Staff at Microsoft AI
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolBoxuan Li is a Member of Technical Staff at Microsoft AI with nine years of experience building data and AI infrastructure, currently focused on LLM reasoning. He has a strong background in query optimization and distributed systems from roles on Cosmos/SCOPE and contributions to graph databases like JanusGraph and Apache TinkerPop, where he improved indexing, query performance, and GraphComputer features. A frequent open-source contributor, Boxuan has fixed cross-language linter behaviors in coala and adapted tooling across languages to improve code quality and consistency. His experience spans production systems at Goldman Sachs and observability graph work at Datadog, and he pairs a Carnegie Mellon MCDS with practical systems engineering—an uncommon blend that informs both research-grade models and production query engines.
9 years of coding experience
6 years of employment as a software developer
Summer School Computer Science, Summer School Computer Science at University of California, BerkeleyThe University of Hong Kong (HKU)Exchange Computer Science, Exchange Computer Science at University of TorontoMaster's degree Master of Computational Data Science Language Technologies Institute, Master's degree Master of Computational Data Science Language Technologies Institute at Carnegie Mellon University
Chinese, Chinese, English, German
Stackoverflow
373reputation
1kreached
8answers
1question
Github Skills (29)
algorithm10
algorithms10
gremlin10
python10
testing10
graph10
query-optimization10
apache10
indexing10
graph-database10
data-structure10
java10
graphdb10
javas10
code-analysis10
Programming languages (15)
Github contributions (5)
JanusGraph/janusgraph
Oct 2019 - Jan 2023
JanusGraph: an open-source, distributed graph database
Role in this project:
Back-end Developer
Back-end DeveloperContributions:934 reviews, 156 commits, 377 PRs in 3 years 3 months
Contributions summary:Boxuan primarily focused on bug fixes and code improvements related to query optimization and schema handling within the JanusGraph database. They addressed issues with adjacent queries, property handling, and the support of range limits in Gremlin queries. The contributions also involved enhancing index selection algorithms and optimizing LevenshteinDistance usage for fuzzy predicates. A key aspect of their work was the adjustment of indexing strategies and the improvement of the overall performance of the query processing.
graph-databasejanusgraphtinkerpopgremlinhbase
coala/coala-bears
Apr 2018 - Jul 2018
Bears for coala
Role in this project:Backend Developer
Backend DeveloperContributions:6 commits, 11 PRs, 125 comments in 2 months
Contributions summary:Boxuan primarily focused on fixing linting issues within the coala-bears repository. Their work involved adapting existing linters (CPPLint, PyLint, CheckStyle, HAMLLint, Stylint, and WriteGoodLint) to align their output with coala's conventions. This included adjusting line and column number representations. The user's contributions are directly related to improving code quality and consistency across different languages and code styles.
linterpythonbearsgenericlanguages
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.