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).
Stay in the loop!
Subscribe to keep up with the latest from Croucher Foundation.