Hao Xiao

Hao Xiao is the Engineering Manager of Runtime Verification APAC office in Singapore. He is broadly interested in applying program analyses and verification techniques to software security problems. He worked as an engineering lead in Veracode to develop an automated program vulnerability remediation solution. He also worked on academic projects to detect and remediate vulnerabilities of smart contracts and Java and C programs. He obtained his Ph.D. from Nanyang Technological University and B.S. and M.S. from East China Normal University, all specialized in Computer Science.