Zhe Hou

About

Dr. Zhe Hou is a Senior Lecturer at Griffith University in Australia. His research focuses on theorem proving, program refinement, and secure data sharing, as evidenced by his recent publications exploring topics such as automated program refinement and malicious entity detection in blockchain networks. He also delves into empirical studies regarding compatibility issues in theorem provers, contributing significantly to the fields of computer science and formal verification.