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)
LLGuidance structured outputs for LLMs (2024)
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)
LLGuidance structured outputs for LLMs (2024)
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 recently started at OpenAI after 17 years at
Microsoft Research.