• About me

  • Teaching
    • 2007-2008 academic year
    • previously taught classes

  • Research
    • Projects
    • Publications
    • Talks
    • People
    • Formal methods group at UofT
    • Information for new students

  • Professional Activities
    • Current Program Committees
    • DCS Women in Computing

  • Contact Information