user stats

Member SinceAugust 6, 2009
Last VisitMay 16, 2012

developer for

Microsoft Research Boogie
VCC

sboehme

personal statement

No personal statement has been written.

activity stream

May 16, 2012 - VCC: Created work item: freshness for structs with static ownership

projects i'm following

No projects being followed.

forks

No forks.