[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 (2022-08).


Teaching


Program committees: OOPSLA 2023, PaPoC 2022, PLDI 2022, CPP 2022, POPL 2022, ESOP 2021, CPP 2021, CPP 2020, APLAS 2019, POPL 2019, YR-CONCUR 2018, CoqPL 2017, CPP 2016


Publications

See also: DBLP


Hongjin Liang
Last modified: August 25, 2022.