Search Engineering & Computer Science
» read more about Mr Zhe Hou
Logics, proof theory, and automated reasoning. He is also interested in automata theory, computability theory, and genetic algorithm. He is currently working on the proof theory of BI family logics.
Updated: 1 January 2018/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906