Ning Dong

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.