Ning Dong
DOCTORAL STUDENT
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/dongn
Details
Works for
Address
LINDSTEDTSVÄGEN 5, PLAN 5
E-mail
Researcher
Researcher ID
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.