Typography dilettante. PhD student in computer science, trying to prove that some programs do not have some bugs. I also like tea, type systems and logic.