Menu
I work as a researcher in logic and in the philosophy of information. Some years ago I started with Racket (initially with HTDP). Since then I've also read bits and pieces of SICP, and learned more about Racket from the documentation.
Most of my work is now in Python.
