About

Jialiang (Steve) Chang is a highly experienced Staff Software Engineer with a Ph.D. in software verification, specifically in blockchain smart contract security verification. He is currently working at CertiK, where he has been involved in implementing EVM blockchain projects as a developing team member with cosmos framework in Golang. Jialiang has also developed Blockchain Smart Contract Security Analysis Software, which involves drafting technical proposals and design documents for the software and infrastructure for smart contract security vulnerabilities. He has implemented the software and infrastructure for smart contract security vulnerabilities and enhanced other associated features on top of the formal verification methods, static analysis method, and fuzzing method. He maintains proposal, documents, and implementations. Furthermore, Jialiang has improved Blockchain Smart Contract Security Auditing by analyzing the hacks and attacks of smart contracts and creating post-mortem and analysis reports. He has improved the smart contract security analysis software with the understanding of hacks and attacks. Jialiang has also improved the blockchain smart contract security knowledge base with the understanding of hacks and attacks. Jialiang is a prolific writer, having written more than 50 tech articles to analyze hack incidents in the smart contract security area and promote the company's projects at the same time. He has also designed and implemented the Blockchain Smart Contract Security Knowledge base. Prior to his current role, Jialiang has worked as a Senior Software Engineer and Software Engineer at CertiK. He has a strong educational background, with a Ph.D. in Computer Science from Western Michigan University, Master of Science from DePaul University, and Wuhan University, and a Bachelor's degree from Qingdao University of Technology. Jialiang's technical skills include Smart Contract, Software Engineering, Blockchain, Senior Software Engineering, infra, EVM, and Golang. He has relevant experience of 9.36 years.