Kevin Dai
  • @woofboy
  • Toronto
  • He/Him/His
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 open to
writing.
Contact Me

Resume

May 2021 - Present

Discrete Graphics Validation Intern, Intel Corporation