
Assistant Professor, Teaching Stream, Computer Science
University of Toronto Mississauga (UTM)

About Me
I believe the greatest pursuit in life is continuous discovery - seeking The Reason. It is all about intuition and reasoning to me. This is what attracted me to studying Logic, then Computability. Mathematical Logic attempts to abstract intuitive reasoning, while Computability abstracts intuitive arithmetic, and from these abstractions, we could see beyond the provable and beyond the computable!
When I look at Gödel's primitive recursive functions, I see the zero function as a symbol for there is nothing, and the successor function as from nothing there can be something then more things, and the projections as we can make a choice.
Away from all that, call it philosophy, I am what they call a "latte dad".