user stats

Member SinceApril 15, 2009
Last VisitMarch 4, 2013

coordinator for

I'm working on tools for verification of C programs at Microsoft Research Redmond. You can find more information at my webpage.

No activity in the last 60 days.

No projects being followed.

No forks.