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:  15 May 2018/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing