Zhe Hou

Zhe Hou is a Senior Lecturer at the School of Information and Communication Technology, Griffith University, Australia. His academic journey includes a PhD in automated reasoning for separation logic from the Australian National University (2015) and prior research roles at Nanyang Technological University, Singapore (2015-2017). He joined Griffith University in 2017 and became permanent faculty in late 2019.

Research Interests:

• Formal methods for software verification
• Automated reasoning with logical frameworks
• Blockchain technology and security
• Quantum computing verification
• Integration of LLMs with rigorous reasoning
• Sports analytics via model checking

Recent Publications demonstrate expertise in neural-symbolic reasoning, blockchain security, quantum SAT solvers, and runtime verification frameworks. His work combines formal logic with machine learning for applications in cybersecurity and AI trustworthiness.

Scientific Awards:

• ACM SIGSOFT Distinguished Paper Award (2025)

Supervision Roles: Principal/Associate Supervisor for 6+ doctoral projects in blockchain security, AI verification, and network security.

Professional Activities: Editor for Springer-Nature and Formal Aspects of Computing special issues, conference chair for ICFEM, ICECCS, and ISACE symposia.