I am a Ph.D. student supervised by Mads Dam and Roberto Guanciale. My research interests include formal modeling and verification, program logics and so on.
From 2016 Sep-2019 Jun, Beijing Jiaotong University, master’s degree of Engineering, Communication and Information Systems.
From 2012 Sep-2016 Jun, Beijing Jiaotong University, bachelor’s degree of Engineering, Communication Engineering.
dongn@kth.se