subroy

user stats

Member SinceDecember 5, 2014
Last VisitDecember 8, 2014

User prefers to not be contacted.

developer for

Microsoft Research Boogie

subroy

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

Microsoft Research Boogie: parallelization