Albert Y.C. Lai

Personal information


Canada

male

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

History


20 years 7 hours