Minchao Wu (Preferred)
Minchao Wu
Postdoc, University of Tokyo
Joined
August 2020
Names
Emails
****@gmail.com (Confirmed)
****@anu.edu.au (Confirmed)
Personal Links
Career & Education History
Postdoc
University of Tokyo (u-tokyo.ac.jp)
2022 – Present
PhD student
Australian National University (anu.edu.au)
2018 – 2022
MS student
Carnegie Mellon University (cmu.edu)
2015 – 2017
Advisors, Relations & Conflicts
Expertise
Reinforcement learning
2018 – Present
Interactive theorem proving
2015 – Present
Automated reasoning
2015 – Present