user stats

Member SinceNovember 25, 2009
Last VisitMay 25, 2012

coordinator for

CHESS: Systematic Concurrency Testing
STORM Concurrency Checker

developer for

Microsoft Research Boogie

qadeer

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.