[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 verification. I am a member of the PLaX group.

Here is my CV (2022-08).


Teaching


Program committees: PLDI 2024, PriSC 2024, APLAS 2023, OOPSLA 2023, PriSC 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: 2023-09-26.