Thanh-toan Nguyen
Researcher at Huawei
Hong Kong Island, Hong Kong
Summary
👤
Senior🎓
Top SchoolThanh-toan Nguyen is a researcher at Huawei Hong Kong Research Center with 11 years of experience applying formal methods to real-world systems, including TLA+ modeling, VeriFast verification, and property-based testing to bridge models and implementations. He holds a PhD from the National University of Singapore and has a track record of research roles across NUS, JAIST, and industry stints at Amazon and FPT Software, bringing both academic rigor and practical engineering experience. Known for translating formal proofs into actionable checks, he focuses on making distributed systems and data-structure correctness both provable and testable in production contexts. Based in Hong Kong, he combines deep theoretical training with hands-on verification tooling to reduce subtle runtime faults that traditional testing often misses.
11 years of coding experience
1 year of employment as a software developer
Bachelor's degree, Bachelor's degree at VNU University of Engineering and TechnologyDoctor of Philosophy (PhD), Doctor of Philosophy (PhD) at National University of Singapore
English, Vietnamese, Chinese, Chinese
Github Skills (51)
static-code-analysis10
objective-c10
static-analysis10
java10
stellar10
cpp10
solidity9
blockchain9
static-analyzer9
smart-contracts9
rust8
polkadot8
ethereum8
sui8
bpf8
Programming languages (9)
Github contributions (5)
thanhtoantnt/spacemacs-config
Mar 2018 - Oct 2023
Contributions:20 pushes, 1 branch in 5 years 7 months
sbip-sg/llvm-rust
Aug 2022 - Jun 2024
A customized Rust bindings for LLVM
Contributions:1 review, 3 PRs, 1 push in 1 year 10 months
rustcustomizedrust-bindingsllvm
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.