my photo

michał.moskal

michal.moskal(@)microsoft.com

Stuff I (co)do

VCC Formal Verifier for C :: TouchDevelop IDE for Smartphones :: 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.