Hoppa till huvudinnehållet

Ning Dong

Profilbild av Ning Dong

FOFU-INGENJÖR

Detaljer

Arbetar vid

TEORETISK DATALOGI

Adress
LINDSTEDTSVÄGEN 5, PLAN 5

Forskare

Forskar-ID

Om mig

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.