Griffith University
z.hou@griffith.edu.au
Dr. Zhé Hóu is a senior lecturer at Griffith University. His research mainly focuses on automated reasoning, formal methods, AI, quantum computing and blockchain.
IEEE Internet of Things Journal (IOTJ) [Q1 IF 8.9] (2026)
IEEE Transactions on Services Computing (TSC) [Q1 IF 5.5] (2025)
arXiv (2025)
IEEE Transactions on Dependable and Secure Computing (TDSC) [Q1 IF 7.5] (2025)
IEEE 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD) (2025)