Penghao Du

Penghao Du is a Postdoctoral researcher in Logic at the College of Philosophy, Nankai University. He received his Ph.D. from the School of Humanities, Tsinghua University. His research interests include modal logic, dynamic logic, and social network logic. His doctoral dissertation addressed the problems of axiomatization, decidability, and model checking complexity for some graph game dynamic logics.