PhD student in Computer Science researching graph algorithms and computational topology. I am also interested in category theory, functional programming, and logic.