Griffith University logo
ALL PROFILES
Dr Zhe Hou

Dr

Zhe Hou

Lecturer
School of Information and Communication Technology
+61 (0)7 3735 9270 (Work)
N44 3.10, Nathan Campus

Are you Zhe Hou?

Edit your profile

BIO

Zhe Hou obtained his PhD from the Australian National University. He has developed various automated reasoning techniques and tools for separation logic -- a logic for reasoning about computer programs with pointers and other mutable data structures. In 2015 he joined Nanyang Technological University to undertake the project "Securify", in which he developed formal models of the SPARCv8 instruction set architecture and TSO weak memory model, and verified information-flow security for the formal models. He joined Griffith University in 2017 on a project to develop trusted autonomous systems and advanced model checking techniques in collaboration with Australia Defense Science and Technology Group. He became a lecturer at Griffith University in late 2019. https://zhehou.github.io

GRIFFITH UNIVERSITY APPOINTMENTS

  • Member
    Institute for Integrated and Intelligent Systems2018
  • Lecturer
    School of ICT, Australia9 Dec 2019

ACADEMIC POSITIONS

  • Research Fellow
    Nanyang Technological University, Singapore1 Dec 2015 - 30 Jun 2017
  • Research Assistant
    Nanyang Technological University, Singapore1 Jul 2015 - 1 Dec 2015

DEGREES

  • PhD
    The Australian National University, Australia1 Sep 2011 - 1 Dec 2015
  • Master of Computing
    The Australian National University, Australia14 Jul 2010 - 30 Aug 2011