Xiangan He
Managing Partner at XORS Software
Boston, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolXiangan He is a security-minded software engineer and Managing Partner based in Boston with five years of experience building high-throughput back-end systems, formal verification tooling, and secure product launches for crypto and Web3 infrastructure. He has shipped production REST APIs handling millions of daily requests at Protocol Labs, developed memory- and speed-optimized verification tools at Trail of Bits, and automated chain-data maintenance and incentive-query logic in notable open-source projects like cosmos/chain-registry and Osmosis. Comfortable across Rust, Go, Python, Solidity and DevOps, he blends hands-on engineering with security audits and product ownership, having safeguarded tens of millions in client funds and uncovered critical smart-contract vulnerabilities. Notably, he pairs practical automation (e.g., scripts to auto-update chain JSONs) with deep research into cryptography and MEV, making him effective at turning complex protocol work into reliable, auditable systems.
5 years of coding experience
3 years of employment as a software developer
High School/Secondary Diplomas and Certificates, High School/Secondary Diplomas and Certificates at Boston Latin SchoolBachelor of Science - BS Mathematics Computer Science and Finance, Bachelor of Science - BS Mathematics Computer Science and Finance at Boston CollegeMaster's degree Computer and Information Systems Security/Information Assurance, Master's degree Computer and Information Systems Security/Information Assurance at Boston University
German, Chinese, English, Latin
Github Skills (14)
json10
automation10
cosmos10
go10
automations10
python10
http-request10
grpc10
protocol-buffers9
testing9
githubaction-workflow9
github-ci9
version-control7
rest-api7
Programming languages (14)
Github contributions (5)
osmosis-labs/osmosis
Apr 2022 - Aug 2022
The AMM Laboratory
Role in this project:
Back-end Developer
Back-end DeveloperContributions:32 reviews, 43 commits, 28 PRs in 3 months
Contributions summary:Xiangan primarily worked on adding and modifying queries related to upcoming gauges within the incentives module. Their contributions included implementing new query functionalities for fetching upcoming gauges by denomination, writing tests, and fixing issues related to the gRPC query tests. The user also made modifications to the protocol buffer definitions and updated the keeper code for distributing rewards. The work involved debugging, testing, and refining the incentives module's logic.
amm-dexswaplaboratoryavalancheamm
cosmos/chain-registry
Jun 2022 - Jun 2022
Role in this project:Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:3 reviews, 35 commits, 3 PRs in 11 days
Contributions summary:Xiangan primarily focused on automating the update of chain data within the cosmos/chain-registry repository. Their work included creating a Python script to fetch chain data, comparing it with existing data, and automatically updating the `chain.json` file. This process involved incorporating safeguards for edge cases and resolving bugs in the automation logic. The user's contributions improved the efficiency of maintaining up-to-date chain information.
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.