my photo



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.


I'm on the PC of tap 2014. My personal webpage may have some more stuff.


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.
Contact Terms Trademarks Privacy and Cookies Code of Conduct © Microsoft Corporation. All rights reserved. Microsoft