Year 4 Ph.D. Student. Under the supervision of Bruno C. d. S. Oliveira
Dept. of Computer Science, The University of Hong Kong
Office: CB426, Chow Yei Chin Building, The University of Hong Kong, Pokfulam Road, Hong Kong
Email: jxzhao _a_t_ cs.hku.hk
In 24th International Conference on Functional Programming (ICFP 2019). Distinguished Paper August 2019
In 9th International Conference on Interactive Theorem Proving (ITP 2018). July 2018