Minghao Liu

Postdoc, Department of Computer Science, University of Oxford

  • Joined September 2019

Names

Minghao Liu (Preferred)

Emails

****@ios.ac.cn (Confirmed)
,
****@cs.ox.ac.uk (Confirmed)

Personal Links

Career & Education History

Postdoc
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2023 – Present
 
PhD student
Institute of Software, Chinese Academy of Sciences (ios.ac.cn)
2017 – 2023
 

Advisors, Relations & Conflicts

Postdoc Advisor
2023 – Present
 
PhD Advisor
2017 – 2023
 

Expertise

Automated Reasoning
Present
 
Constraint Programming
Present
 
Graph Neural Network
Present
 
Combinatorial Optimization
Present
 
Formal Verification
Present