Zhe Hou's Home Page

Textbooks

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification. Springer (Texts in Computer Science), 2021.
Zhe Hou. Springer Amazon

Teaching

3806ICT Robotics, Agents and Reasoning, Gold Coast, Griffith University

2808ICT/7623ICT Secure Development Operations, Gold Coast, Griffith University

2815ICT Logic and Computation, Online, Zhengzhou University of Light Industry / Griffith University

2703ICT/7005ICT Web Application Development, Gold Coast, Griffith University

3809ICT/7809ICT Applied Network Security, Gold Coast, Griffith University

COMP2600 Formal Methods in Software Engineering, The Australian National University

PhD Students

Graduated
Babu Pillai, blockchain interoperability.
Jeyakumar Samantha Tharani, transaction analysis for blockchain applications.
Yufan Cai (National University of Singapore), program refinement using large language models.

Current
Ayodeji Akande, anomaly detection for cyber-physical systems.
Zorka Jovanovic, AI and blockchain for finance and banking.
Zulu Okonkwo, encrypted computer network traffic analysis.
Dorottya Zelenyanszki, metaverse, NFT, blockchain user behaviour analysis.
Jack Napier, validation methods for deep learning and autonomous systems AI.

Associated
Zhaoyu Liu (National University of Singapore), sports analytics.
Xinyue Zuo (National University of Singapore), LLM formal methods agents.