my photo

michał.moskal

michal(@)moskal.me

Stuff I (co)did

Nemerle programming language :: Fx7 SMT solver :: vcc formal verifier for C :: Touch Develop IDE for a phone :: PXT (later MakeCode) programming education platform :: a bunch of papers

The name issue

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

I like

sitting; laughing; freedom; hacking; shooting (photos); electronic music; mountains; s-f; weird movies; minimalism.

Work

I got my PhD from the CS Institute at the University of Wrocław in Poland. Currently I live in Seattle and work half-time on MakeCode for Microsoft.