parno

user stats

Member SinceApril 18, 2013
Last VisitJuly 7, 2016

Contact

coordinator for

Verifiable Computation

developer for

Dafny: An Automatic Program Verifier for Functional Correctness
Microsoft Research Boogie
Singularity RDK

parno

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

forks

No forks.