Welcome to my blog 👉👈. I'm currently an Math & CS undergraduate in UW-Madison with specific interest in Computer Logic and Programming Language Theory. You can find me on , and .