معرفی
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.
