I am Dongchen Li, the first PhD student of Zhiyi Huang at HKU. My research interest lies on theoretical computer science, especially on two fields: optimal decision making and machine learning based automation (theorem proving or program synthesis).