chrishaw

user stats

Member SinceJuly 11, 2008
Last VisitMay 15, 2016

Contact

coordinator for

Singularity RDK

developer for

Dafny: An Automatic Program Verifier for Functional Correctness

chrishaw

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.