danliew

user stats

Member SinceMarch 4, 2013
Last VisitFebruary 21, 2017

Contact

developer for

GPUVerify: A verifier for GPU kernels
Microsoft Research Boogie

danliew

personal statement

No personal statement has been written.

activity stream

projects i'm following

forks

No forks.