kuruis

user stats

Member SinceDecember 30, 2012
Last VisitMarch 9, 2016

Contact

coordinator for

QED - A Proof Assistant for Concurrent Programs

developer for

Microsoft Research Boogie

kuruis

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.