michał.moskal
michal
moskal.me
moskal.meStuff I (co)did
Nemerle programming language (2003)
Fx7 SMT solver (2007)
vcc formal verifier for C (2008)
Touch Develop IDE for a phone (2011)
MakeCode programming education (2016)
Jacdac plug-and-play electronics (2020)
DeviceScript TypeScript for IoT (2022)
AICI control interface for LLMs (2023)
and papers
Fx7 SMT solver (2007)
vcc formal verifier for C (2008)
Touch Develop IDE for a phone (2011)
MakeCode programming education (2016)
Jacdac plug-and-play electronics (2020)
DeviceScript TypeScript for IoT (2022)
AICI control interface for LLMs (2023)
and papers
The name issue
My first name is pronounced like the English words me and
how; the last name usually does not present problems.
Work
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.