Ning Dong
DOCTORAL STUDENT
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/dongn
About me
I am a Ph.D. student supervised by Mads Dam and Roberto Guanciale. My research interests include formal modeling and verification for low-level hardware and software, information flow analysis, etc.