Skip navigation
The Australian National University
photo of Zhe

Mr Zhe HOU

Position:PhD Student
Email:JavaScript must be enabled to display this email address.
Personal website:http://users.cecs.anu.edu.au/~zhehou/
Phone:51771
Building:RSISE (115)
Room:B263
Groups:CS, LC
Staff category:Student

Research interests:

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.

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.