Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification. Springer (Texts in Computer Science), 2021.
Zhe Hou. Springer Amazon
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
Graduated Babu Pillai, blockchain interoperability.
Current Jeyakumar Samantha Tharani, transaction analysis for blockchain applications. 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 and NFT analysis.
Associated Zhaoyu Liu (National University of Singapore), sports analytics. Yufan Cai (National University of Singapore), program refinement using large language models. Xiaokun Luan (Peking University), automated reasoning using AI & large language models.