Minchao Wu

Postdoc, University of Tokyo

  • Joined August 2020

Names

Minchao Wu (Preferred)

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

No relations added

Expertise

Reinforcement learning
2018 – Present
 
Interactive theorem proving
2015 – Present
 
Automated reasoning
2015 – Present