I'm a mathematician and theoretical computer scientist. I'm interested in mathematical logic and distributed systems, but I also value art, nature, and peace.