معرفی
Hongjin Liang is an Associate Professor at the School of Computer Science, Nanjing University, where he researches programming languages and formal verification as part of the PLaX group. His office is located at Room 404, Building of Computer Science and Technology, Nanjing University (Xianlin Campus).
His research spans concurrency, compiler verification, distributed systems, and theorem proving, with a focus on developing formal methods for verifying program correctness under complex execution models (e.g., randomized concurrency, CRDTs).
His publications emphasize verification techniques for concurrent and distributed systems, program logics, and compiler optimizations. Recent work explores probabilistic program verification and algorithmic foundations of distributed computing.
Awards:
- PLDI'19 Distinguished Paper Award
He teaches courses including Formal Semantics of Programming Languages and Concurrency: Algorithms and Theories. He actively serves on program committees for PLDI, POPL, ESOP, and related conferences.
