michał.moskal
michal
moskal.me
moskal.meStuff 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
papers
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
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.