allydonaldson

user stats

Member SinceSeptember 2, 2011
Last VisitApril 20, 2015

Contact

coordinator for

GPUVerify: A verifier for GPU kernels

developer for

Microsoft Research Boogie

allydonaldson

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

No projects being followed.

forks

No forks.