Albert Y.C. Lai

Personal information


Canada

male

program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments

History


14 years 14 weeks