|trebla [at] vex [dot] net|
|Slashdot||Albert Y.C. Lai|
|LtU||Albert Y.C. Lai|
Academic interests: program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments.
Hobbies: classical music (listening), reading (popular math, popular science, C. S. Lewis, Issac Asimov, 畢華流), IRC (I'm monochrom in EFnet #compsci and Freenode #haskell), computer war games (The Age of Kings (Age of Empires II), The Age of Mythology, Command & Conquer, Civilization Revolution, Age of Empires III), some board games, certain movies (mostly Hollywood; I'm not critical or deep), dining.