Want to collaborate?

Right now, you can get in touch with me for a few things:

Kevin Dai

Hi there 👋 I'm Kevin 🥕 and in my first year at the University of Waterloo studying computer science 💻

Currently working on 💪🏻 digital circuit design, microkernels, web development and improving my piano skills 🎹

Learning about 📖 intuitionistic logic, type theory and formal verification
Read more
I'm available for