my photo



Stuff I (co)did

Nemerle programming language
Fx7 SMT solver
vcc formal verifier for C
Touch Develop IDE for a phone
MakeCode programming education
Jacdac plug-and-play electronics
DeviceScript TypeScript for IoT
AICI control interface for LLMs

The name issue

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


I got my PhD from the CS Institute at the University of Wrocław in Poland. I live in Seattle and work at Microsoft Research. Work website.