Name: Naipeng Family name: DONG
Process algebra, verification, model checking, formal methods, security and privacy
major in Computer Science and Technology, Shandong University, China
minor in International Economics and Trade, Shandong University, China
in Computer Science and Technology, Shandong University, China
in Security and Trust, University of Luxembourg, Luxembourg
in Computer Science and Communications, University of Luxembourg, Luxembourg