Xin, Gao
Sydney, New South Wales, Australia
Summary
👤
SeniorXin Gao is a founder and seasoned engineer with nine years of professional experience building and verifying low-level software systems, currently leading Delphinus Lab in Sydney. His background spans industry and research roles—including Chief Engineer at Huawei working on code generation and ATP frameworks, and research positions at CSIRO Data61 and NICTA focusing on formal verification of the seL4 microkernel. Xin holds advanced degrees in mathematics (PhD candidate at UNSW and a Master's with HD from ANU) and began his career tackling IA-32 assembly translation at Intel, reflecting deep expertise in formal methods, compilers, and systems correctness. He brings a rare mix of academic rigor and practical engineering, drawn to “reinventing wheels” to explore cleaner, provably correct solutions rather than incremental fixes.
9 years of coding experience
Github Skills (35)
circuit9
configurations9
subscriber8
rest8
virtual-machine8
sandbox7
interpreter7
ethereum7
rust7
finite-field6
embedded6
webassembly6
automata6
frontend5
truffle5
Programming languages (7)
Github contributions (5)
DelphinusLab/zkwasm-mini-rollup
May 2024 - Oct 2025
A Minimised REST service framework coded in WASM (RUST) and the full service runs in the ZKWASM
Contributions:3 reviews, 64 PRs, 275 pushes in 1 year 5 months
restrust
DelphinusLab/delphinus-solidity
Apr 2021 - Oct 2022
delphinus contracts and chain configurations
Contributions:3 reviews, 98 commits, 13 PRs in 1 year 6 months
ethereumchaincontractsconfigurations
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.