MichalMoskal

user stats

Member SinceApril 15, 2009
Last VisitApril 7, 2016

Contact

MichalMoskal

personal statement

I'm working on tools for verification of C programs at Microsoft Research Redmond. You can find more information at my webpage.

activity stream

No activity in the last 60 days.