About

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)