mirobert

user stats

Member SinceMarch 24, 2014
Last VisitOctober 20, 2015

Contact

developer for

Dafny: An Automatic Program Verifier for Functional Correctness

mirobert

personal statement

You can find me at MSR and on github.

activity stream

No activity in the last 60 days.