Chung-hao Huang
Compiler Engineer at Fortiss
Shanghai, Shanghai, China
Summary
👤
Senior🎓
Top SchoolChung-hao Huang is a compiler engineer and researcher with 13 years' experience applying formal verification and testing to neural networks, smart contracts, and microservices to improve software dependability. He holds a PhD in Computer Science from National Taiwan University and currently works at Intel while consulting and researching verification for AI and blockchain systems. His work includes verifying NN models and system dependability for a tier-1 autonomous/avionic company, bridging rigorous research methods with real-world safety-critical requirements. As former CTO of ChaseWind, he led end-to-end product development of hardware, apps, and web services for smart cycling glasses, giving him hands-on product and hardware integration experience. He combines deep formal methods expertise with practical compiler and systems engineering, often operating at the intersection of academic rigor and production constraints. Based in Shanghai, he is comfortable moving between research, consulting, and engineering roles to deliver auditable, dependable software systems.
13 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at National Taiwan University
Github Skills (10)
trend7
verification6
toolbox5
static-analysis4
artificial-neural-networks4
deep-learning3
machine-learning3
neural-network3
symbolic-execution1
graphical-user-interface1
Programming languages (1)
Github contributions (5)
yyergg/TCL
Aug 2012 - Apr 2016
Contributions:26 commits, 9 pushes, 1 branch in 3 years 9 months
yyergg/graduate
Dec 2015 - Feb 2019
Contributions:19 pushes, 1 branch in 3 years 2 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.