Minchao Wu

I received my Ph.D. in computer science at Australian National University, under the supervision of Michael Norrish, Christian Walder and Amir Dezfouli.

Before joining ANU, I received an MS in Logic, Computation, and Methodology from Carnegie Mellon University, where I was advised by Jeremy Avigad.

I am generally interested in logic, formal methods and automated reasoning. I am interested both in formalization and the development of tools for interactive theorem proving. In particular, I enjoy applying machine learning to high-level automation in ITP. See research for more details.