| trebla [at] vex [dot] net | |
| Google+ | Albert Lai |
| GitHub | treblacy |
| Haskell Wiki | Treblacy |
| 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.