I am a graduate student at University of Hawaii, studying computer science, logic, and math. More specifically, my focus is on programming languages and the theoretical foundations of computer science.

Programming (especially functional programming) is fun and can be very useful, but the underlying logic and structure of programs is what I find most interesting.

email   ·   cv   ·   github   ·   google+