Minghao Liu   (刘明昊)

Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford OX1 3QD, UK

Email: minghao.liu@cs.ox.ac.uk

[CV] [Google Scholar] [DBLP] [GitHub]

Short Bio

I am currently a Postdoctoral Research Associate at the University of Oxford, under the supervision of Dr. Andrew Cropper. Before that, I received my PhD degree in Computer Software and Theory from the University of Chinese Academy of Sciences (UCAS) in 2023, and did my research at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, under the supervision of Prof. Jian Zhang. I received my B.S. degree in Computer Science and Technology from Northeast Normal University (NENU) in 2017.

My research interests include the theory, algorithm and application of automated reasoning, constraint programming and combinatorial optimization, as well as the integration of symbolic reasoning and machine learning.

Recent News


(* indicates equal contribution)

Selected Awards & Scholarships