user stats

Member SinceJanuary 18, 2010
Last VisitApril 26, 2012

coordinator for

developer for

Microsoft Research Boogie
Spec#

wuestholz

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

Microsoft Research Boogie
Spec#

forks

VCC: bugfix