About

I am Gabriel Suen, a CS master student in University of Waterloo. I am interested in functional programming language, type system , model checking and GUI programming.