Dongchen Li is a first year PhD student at University of Hong Kong, supervised by Zhiyi Huang. His research interests lie in theoretical computer science, especially in two fields: optimal decision making and machine learning based automation (theorem proving or program synthesis).