my photo

michał.moskal

michal.moskal(@)microsoft.com

stuff i (co)do

vcc formal verifier for c :: touchdevelop ide for smart phones :: papers for smart people.

the name issue

my first name is pronounced like the english words me and how; the last name usually does not present problems.

news

i'm on the PC of boogie 2012 and compare 2012. my personal webpage may have some more stuff.

work

i got my phd from the cs institute at the university of wrocław in poland. currently i live in seattle and work in rise group at microsoft research on the other side of the lake. full bio.