Ton Le
Senior Smart Contract Researcher at Algorand
Jersey City, New Jersey, United States
Summary
🤩
Rockstar🎓
Top SchoolTon Le is a Senior Smart Contract Researcher with 15 years of software development and formal verification experience, currently advancing secure smart contract design at Algorand from Jersey City. His background blends deep academic research—PhD from the National University of Singapore and postdoctoral work on separation logic and termination proofs—with practical contributions to verification toolchains and C benchmarks. At NUS he developed induction proof techniques and a program termination inference mechanism, and his open-source contributions include termination and linked-list benchmarks to the widely used sv-benchmarks collection. Ton’s work bridges theory and practice: he designs formal methods that scale into blockchain smart contracts and implements backend tooling that improves automated theorem proving. Colleagues rely on him for rigorous, auditable solutions that reduce subtle correctness risks in high-assurance systems.
15 years of coding experience
10 years of employment as a software developer
Bachelor of Engineering (B.Eng.), Computer Science, Honor Degree, 8.72/10, Bachelor of Engineering (B.Eng.), Computer Science, Honor Degree, 8.72/10 at Ho Chi Minh City University of TechnologyDoctor of Philosophy (Ph.D.), Computer Science, 4.33/5.0, Doctor of Philosophy (Ph.D.), Computer Science, 4.33/5.0 at National University of Singapore
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (11)
c1710
algorithm10
data-structures10
algorithms10
memory-allocation10
c1110
linked-list10
data-structure10
windows6
batchfile6
scripting6
Programming languages (13)
Github contributions (5)
sosy-lab/sv-benchmarks
Sep 2015 - Dec 2016
Collection of Verification Tasks
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 5 PRs, 4 comments in 1 year 2 months
Contributions summary:Ton contributed numerous C code examples for the `sv-benchmarks` repository. These examples primarily involved creating termination benchmarks and linked list algorithms, including circular and null-terminated lists. The commits demonstrate a focus on implementing and modifying code related to program verification. The user added a collection of termination examples with various scenarios.
securitytlaverification
letonchanh/dynamite
Aug 2019 - May 2021
Contributions:584 commits, 60 pushes in 1 year 9 months
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.