my photo



stuff i (co)did

nemerle programming language :: fx7 smt solver :: vcc formal verifier for c :: touchdevelop ide for phone :: PXT (or MakeCode) programming education platform :: a bunch of papers

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.


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 touchdevelop).