Albert Y.C. Lai

Personal information


Canada

male

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

History


13 years 48 weeks