[Photo of Hongjin Liang]  

Hongjin Liang

Associate Researcher (limited-term)
USTC-Yale Joint Research Center for High Confidence Software
School of Computer Science and Technology, USTC

188 Ren Ai Road
Suzhou Institute for Advanced Study
University of Science and Technology of China
Suzhou, Jiangsu 215123, China

Email: lhj1018 AT ustc DOT edu DOT cn

Here is my CV (2016-09).

Teaching

Program committees: CoqPL 2017, CPP 2016

Publications