Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian

Source URL: www.vex.net

• Formal methods
• University of Toronto
• Theoretical computer science
• Eric Hehner
• Program derivation
• Predicative programming
• Refinement
• Formal verification
• Department of Computer Science