Xuan Bi
Senior Quantitative Developer
Hong Kong, China
Summary
👤
Senior🎓
Top SchoolXuan Bi is a Senior Quantitative Developer based in Hong Kong with 12 years of experience applying advanced software engineering to quantitative modeling and analytics at Standard Chartered Bank. With a PhD in Computer Science from The University of Hong Kong and a B.Eng. from Zhejiang University, he blends academic rigor with practical deployment of core strat models and analytics. He progressed from Quantitative Developer to a core-strats role, delivering production-ready model implementations and tooling for trading and risk teams. An active open-source contributor, Xuan has strengthened the popular Spacemacs editor by adding language integrations (Idris, Coq) and improving OCaml/SML support, reflecting deep familiarity with developer tooling and language ecosystems. Colleagues rely on him for clean, automatable solutions that bridge research prototypes and robust production systems. He is fluent in both research and engineering workflows, often surfacing editor-level efficiencies that speed team productivity.
12 years of coding experience
3 years of employment as a software developer
The University of Hong Kong (HKU)Bachelor of Engineering (B.Eng.), Computer Science, Bachelor of Engineering (B.Eng.), Computer Science at Zhejiang University
English, Chinese
Github Skills (11)
configuration-management10
configurations10
coq10
idris10
emacs10
configuration-file10
ocaml9
sml9
markdown-it8
markdown8
vim6
Programming languages (10)
Github contributions (5)
syl20bnr/spacemacs
Mar 2016 - Sep 2018
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:20 commits, 20 PRs, 75 comments in 2 years 6 months
Contributions summary:Xuan primarily contributed to enhancing the Spacemacs Emacs configuration, focusing on integrating and improving support for various programming languages and tools within the editor. They added features for Idris and Coq, including auto-completion, keybindings, and integration with external processes. Further, they improved support for existing languages such as OCaml and SML by removing obsolete configurations and adjusting existing settings. The user also made contributions to the markdown and shell layers of Spacemacs.
configurationvimspacemacsemacsemacs-lsp
bixuanzju/spacemacs
Mar 2016 - Mar 2019
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Contributions:233 pushes, 32 branches in 3 years
vimspacemacsemacscommunity-driveneditor
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.