Hi there 👋 I’m Kevin 🥕 and a first-year student at the University of Waterloo studying computer science 💻. You can see the combination of all my interests on this blog!
Currently working on 💪🏻 digital circuit design, microkernels, not being scared 😨 of web development and improving my piano skills 🎹
Learning about 📖 intuitionistic logic, type theory and formal verification
Shoutouts 📣 to my amazing friend @Anthonykung
My personal favourites 🎵 (in no particular order)