| trebla@vex.net | |
| ICQ | 309948010 |
| MSN | trebla@vex.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. Academic home page.
Hobbies: classical music (listening), reading (popular math, popular science, C. S. Lewis, Issac Asimov, 畢華流), IRC ("monochrom" in efnet #compsci #math, freenode #haskell), computer war games (The Age of Kings, The Age of Mythology, Command & Conquer), some board games, certain movies (mostly Hollywood; I'm not critical or deep), dining.