ProfessorsProfessors of Nanjing UniversityHongjin Liang

Hongjin Liang

Nanjing University

H-index: 9

Asia-China

About Hongjin Liang

Hongjin Liang, With an exceptional h-index of 9 and a recent h-index of 9 (since 2020), a distinguished researcher at Nanjing University, specializes in the field of Programming Languages, Formal Methods, Program Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Verifying optimizations of concurrent programs in the promising semantics

Abstraction for conflict-free replicated data types

Progress of concurrent objects

Hongjin Liang Information

University	Nanjing University
Position	___
Citations(all)	464
Citations(since 2020)	242
Cited By	296
hIndex(all)	9
hIndex(since 2020)	9
i10Index(all)	9
i10Index(since 2020)	9
Email	Access Email
University Profile Page	Nanjing University
Google Scholar	View Google Scholar Profile

Hongjin Liang Skills & Research Interests

Programming Languages

Formal Methods

Program Verification

Top articles of Hongjin Liang

Title	Journal	Author(s)	Publication Date
Verifying optimizations of concurrent programs in the promising semantics		Junpeng Zha Hongjin Liang Xinyu Feng	2022/6/13
Abstraction for conflict-free replicated data types		Hongjin Liang Xinyu Feng	2021/6/19
Progress of concurrent objects	Found. Trends Program. Lang.	Hongjin Liang Xinyu Feng	2020/5/17