my photo

michał.moskal

michal(@)moskal.me

stuff i (co)did

nemerle programming language :: fx7 smt solver :: vcc formal verifier for c :: touchstudio ide for phone :: a bunch of papers (at my work webpage).

the name issue

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

i like

sitting; laughing; freedom; hacking; shooting (photos); electronic music; mountains; s-f; weird movies; minimalism.

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 (on vcc and touchstudio).