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

No activity in the last 60 days.

projects i'm following

forks

No forks.