Minchao Wu

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

Before coming to 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 improving high-level automation in ITP. See research for more details.