Smart Software Engineering Lab at East China Normal University

Jianshuo Xu

Master StudentMaster Student

About me

I am a graduate student of Software Engineering Institute at East China Normal University, advised by Prof. Geguang Pu and Prof. Jianwen Li in the SSEL. Before that, I received my B.S. degree in Cyber Engineering from School of Software Engineering at Dalian University of Technology.

My current research interests include formal verification and model checking. Also, I used to be a research assistant studying anomaly detection and social network.

Jianshuo Xu's papers