Hi! I'm Kevin, a 3rd year Honours CS undergrad at UBC. Currently, I'm a CPSC 210 (Software Construction) TA, and working on a directed study with Dr. Reto Achermann to verify the crash consistency of the SQLite pager using Rocq. This summer, I will be working with Dr. Caroline Lemieux on Explotest as part of an NSERC USRA, a tool to turn exploratory debugging (print statements, REPL outputs) into unit tests.

My research interests lie broadly in the areas of Programming Languages and Software Engineering. In particular, I am intrigued by type systems, program analysis, and metaprogramming.