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)