Powered by Google
Postdoctoral Fellow
Location CSIT Building 108, Office N243
Email chun.tian@anu.edu.au
Clusters Computing Foundations
Publications ORCiD
Social Github LinkedIn
Theorem Proving (HOL4)
