My personal webpage.
Hi there, I’m Billy. I like mathematics, logic and theoretical computer science, and enjoy mixing them together. This website serves as a place for collecting notes, posts, and links on topics I’m currently interested in. Check the tab at the top right for my research.