Xuanrui Qi
Software Engineer at SBI Holdings
Tokyo, Japan
Summary
🤩
Rockstar🎓
Top SchoolXuanrui Qi is a software engineer and category theorist with 10 years of experience, currently working on Web3 and blockchain projects at SBI Holdings in Tokyo. He blends rigorous mathematical training—a PhD candidate in mathematics specializing in type theory, higher category theory, and algebraic geometry—with practical full-stack and OCaml-based engineering. His background includes research-funded work on certified OCaml type inference (COCTI) and formal verification projects using Coq, reflecting a strong focus on correctness and formal methods in software. Xuanrui has a track record of building production systems and academic tools alike, from OCaml web backends integrated with AWS to hardware verification and memory-tracing research presented at SPLASH. Comfortable teaching and collaborating internationally, he brings both deep theoretical insight and hands-on delivery to bridge advanced mathematics and real-world blockchain applications.
10 years of coding experience
4 years of employment as a software developer
Computer Science, Computer Science at University of OregonMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Tufts UniversityHigh School, High School at Shenzhen Middle SchoolDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at Nagoya University
Chinese, English, Chinese, Japanese
Github Skills (200)
ubuntu10
visual-studio10
camera10
face-recognition10
html10
performance-tuning10
nodejs10
nvdec10
css10
opensuse10
desktop10
manjaro10
daemon10
windows-hello10
windows10
Programming languages (21)
Github contributions (5)
xuanruiqi/rebuild-initramfs-dracut-arch-legacy
Jun 2020 - Sep 2022
Contributions:26 commits, 20 pushes, 4 branches in 2 years 3 months
xuanruiqi/commalg
Sep 2020 - Nov 2020
Commutative algebra in Coq/SSReflect
Contributions:22 commits, 14 pushes, 1 branch in 1 month
ssreflectcoqalgebracommutative-algebra
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.