user stats

Member SinceJune 29, 2009
Last VisitFebruary 14, 2013

User prefers to not be contacted.

developer for

Microsoft Research Boogie
VCC

VccBuildServer

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.