[Photo of Hongjin Liang]  

Hongjin Liang (梁红瑾)

Associate Professor
Department of Computer Science and Technology
Nanjing University

Contact:
Room 404, Building of Computer Science and Technology
Nanjing University (Xianlin Campus)
163 Xianlin Road, Qixia District, Nanjing, Jiangsu 210023, China

hongjin [at] nju [dot] edu [dot] cn


Research

I am interested in programming languages and formal methods, with a focus on the verification of concurrent programs.

Here is my CV (2019-01).


Program committees: CPP 2020, APLAS 2019, POPL 2019, YR-CONCUR 2018, CoqPL 2017, CPP 2016


Publications

See also: DBLP


Teaching


Hongjin Liang
Last modified: April 24, 2019.