MichalMoskal

user stats

Member SinceApril 15, 2009
Last VisitApril 7, 2016

Contact

coordinator for

DKAL
Microsoft Research Boogie
VCC

developer for

Common Compiler Infrastructure - Code and AST components
VACID solutions

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.

projects i'm following

No projects being followed.

forks

No forks.