programming language ::
SMT solver ::
formal verifier for C ::
IDE for a phone ::
PXT (later MakeCode)
programming education platform :: a bunch of
The name issue
My first name is pronounced like the English words
; the last name usually does not present problems.
sitting; laughing; freedom; hacking; shooting (photos); electronic music; mountains; s-f; weird movies; minimalism.
I got my PhD from the
at the University of Wrocław in Poland. Currently I live in Seattle and work half-time on MakeCode for Microsoft.