Lai, Albert Yu Cheong
                         Curriculum Vitae

 Department of Computer Science             <home address & phone
 University of Toronto                       omitted in public>
 Toronto, ON  M5S 3G4
 Canada
 trebla@cs.toronto.edu

 Born in 1969

 Citizenship: Canadian


Research Interests

  Program derivation methods (and tool support) such as refinement
  calculi, functional programming, programming contests, heuristics of
  mathematical arguments (and tool support).


Education

  PhD candidate, Computer Science, University of Toronto, expected September 2012.
    Supervised by E. C. R. Hehner.
  NASA Summer School in Engineering Theories of Software Construction,
    Marktoberdorf, Germany, 2000.
  MSc Computer Science, University of Toronto, 2000.  
    Supervised by E. C. R. Hehner.
  BSc(H) Mathematics, University of Toronto, 1996
  BSc(H) Information Technology, City University of Hong Kong, 1992


Publications

  MSc Thesis: A Tool for A Formal Refinement Method.  MSc Thesis, University of
  Toronto, January 2000.
  http://www.cs.toronto.edu/~trebla/scphEditor/

  Collaborated:

    Conferences:

      S. M. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel,
      A. Lai, V. Petrovykh, A. Tafliovich, and
      C. Thompson-Walsh. ``XChek: A Model Checker for Multi-Valued
      Reasoning'', in Proceedings, 25th International Conference on
      Software Engineering, Portland, Oregon, May, 2003.

      M. Chechik, B. Devereux, S. Easterbrook, A. Lai, and
      V. Petrovykh. ``Efficient Multiple-Valued Model-Checking Using
      Lattice Representations'', in Proceedings of 12th International
      Conference on Concurrency Theory (CONCUR'01), Aalborg, Denmark,
      451-465, August, 2001.

    Technical reports:

      M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, and
      S. Easterbrook. ``Data Structures for Symbolic Multi-Valued
      Model-Checking'', CSRG Technical Report, Department of Computer
      Science, University of Toronto, January, 2002.

      M. Chechik, S. Easterbrook, B. Devereux, A. Lai, V. Petrovykh
      and C. Thompson-Walsh. A Framework for Multi-Valued Reasoning
      over Inconsistent Viewpoints -- Project Report, CSRG Technical
      Report, Department of Computer Science, University of Toronto,
      August, 2000.


Teaching Experience

  Instructor (Course Director) of Introduction to Program Verification,
  CSE3341, York U
  Winters 2009, 2006-2003
    - Hehner's predicative refinement
    - 3rd-year course in Computer Science & Engineering

  Instructor of Formal Methods in Software Design, CSC465, U of Toronto
  Fall 2008
    - Hehner's predicative refinement
    - 4th-year undergraduate course in Computer Science

  Teaching assistant of Formal Methods in Software Design, CSC465, U of Toronto
  Falls 2007-2003, 2001-1999
    - Hehner's predicative refinement
    - cross-listed 4th-year undergraduate / graduate course in Computer Science
    - instructor E.C.R. Hehner

  Head teaching assistant of Introduction to Computer Science,
  CSC148, U of Toronto
  Summers 2004-2002
    - duties: automarking (and resulting Q&A with students), grade collection,
      printing and distribution.
    - 1st-year course in Computer Science
    - instructor Daniel Wigdor

  Teaching assistant of Software Engineering II, ECE450, U of Toronto
  Winters 2001-2000
    - use of formal methods in software engineering
    - 4th-year undergraduate course for Computer Engineers, Software
      Engineering option
    - instructors Marsha Chechik and E.C.R. Hehner

  Teaching assistant of Introduction to Computer Science, CSC148, U of Toronto
  Summer 2000
    - 1st-year course in Computer Science
    - instructor François Pitt

  Teaching assistant of Software Tools in Unix and C, CSCB09, U of Toronto at
  Scarborough
  Winter 1997
    - 2nd-year course in using, scripting, and programming Unix etc
    - instructor John Harper

  Teaching assistant of Computer Basics, CSCA06, U of Toronto at Scarborough
  Fall 1996
    - 1st-year course in programming
    - instructor Graeme Hirst

Honors and Awards

  NSERC Postgraduate Scholarship, 1996-1998; 1999-2001
  Scarborough College Graduation Prize in Physical Sciences, 1996
  A. D. Allen Scholarship, 1995
  University of Toronto Scholar, 1995
  NSERC Undergraduate Student Research Award, 1995
  Samuel Beatty Award, 1995
  University of Toronto Scholar, 1994
  NSERC Undergraduate Student Research Award, 1994
  Samuel Beatty Award, 1994


Service

  Referee:
    Formal Aspects of Computing, September 2009.
    Journal of Logic and Algebraic Programming, March 2009.
    UTP, June 2008.
    Acta Informatica, June 2006.
    (sub-referee) CONCUR, May 2005.
    IEEE Transactions on Software Engineering, August 2005.
    Journal of Systems and Software, December 2000.

  Coach of the University of Toronto team to the ACM
  Inter-Collegiate Programming Contest, 03/2006-10/2003, 03/2001-10/2000;
  Coach Emeritus, 03/2002-10/2001;
  Assistant coach, 2001-1997.

  Judge of the local programming contest: the University of Toronto 
  Inter-Campus Programming Contest, 2002-1997.

  Chair of the University of Toronto ACM Student Chapter, 2000-1998.
  Secretary of same, 2001.

  Organizer of the annual area meeting for Programming Languages and
  Systems, Department of Computer Science, University of Toronto,
  2003-1997.
    - professors in the area introduce themselves and their research
      interests to new graduate students in the department


Computing skills

  Small programming portfolio at
  http://www.vex.net/~trebla/portfolio/

  Fluent in C, SML, Javascript, Haskell.
  Comfortable with Unix-like environments (including user-end operation,
      system programming, and administration), C++, Java, OCaml, LaTeX.
  Exposed to Eclipse plugin writing, Lisp, Prolog, Python, SQL, XSLT 1.0,
      DTD for XML, Windows user-end operation, OpenOffice, TeX.


References

<omitted in public>