top of page
ABOUT ME
RESEARCH INTERESTS
Software Engineering
EDUCATION
2018 - Present
The University of Texas at Austin
PhD, supervised by Sarfraz Khurshid
Constraint and SAT Solving
Programming Languages
2014 - 2017
The University of Melbourne
Mphil, supervised by Harald Sondergaard and Peter Stuckey
Machine Learning
2009 - 2014
Dalian University of Technology
Bachelor
bottom of page