programming language ::
smt solver ::
formal verifier for c ::
ide for phone ::
PXT (or 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 in
on the other side of the lake (on vcc and touchdevelop).