Jialiang Chang
Senior Audit Partner at CertiK
Ankeny, Iowa, United States
Summary
👤
Senior🎓
Top SchoolJialiang Chang is a Senior Audit Partner and security engineering leader with 11 years of experience specializing in formal verification, static analysis, and fuzzing for blockchain smart contract security. Holding a Ph.D. in Computer Science, he has driven development of industry-grade smart contract security analysis software and knowledge bases at CertiK, translating post-mortems of real-world hacks into improved tooling and preventive measures. His research contributions include pioneering Hyperledger Fabric chaincode fuzzing and scalable formal verification techniques for Ethereum contracts that analyzed tens of thousands of contracts with notable efficiency gains. Comfortable bridging deep research and production engineering, he designs proposals, implements verification infrastructure, and authors technical analyses that influence practice across the ecosystem. Based in Ankeny, Iowa, he combines academic rigor with hands-on product delivery to reduce systemic risk in smart contract platforms.
11 years of coding experience
10 years of employment as a software developer
Master of Science, Information Resources Management, Master of Science, Information Resources Management at Wuhan UniversityMaster of Science, Computer Science, Master of Science, Computer Science at DePaul UniversityBachelor's degree, Management Information Systems, General, Bachelor's degree, Management Information Systems, General at Qingdao University of TechnologyDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Western Michigan University
English, Chinese
Github Skills (10)
smart-contracts6
logic6
security6
signing5
transaction5
oracle4
cryptocurrency4
crypto4
rust1
webassembly1
Programming languages (3)
Github contributions (5)
kevin0916lee/CS5950Program2
Nov 2015 - Dec 2015
Contributions:21 pushes, 1 branch in 10 days
aiolos404/bitgo-account-lib
Mar 2020 - Apr 2020
Signing and transaction building logic for account-based coins
Contributions:13 pushes, 3 branches in 27 days
signingzcashbeancountaccounttransaction
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.