Courses TA’d

At Cornell

  • CS 212
    Computers and Programming (Practicum)
  • CS 312
    Structure and Interpretation of Computer Programs
  • CS 411
    Programming Languages
  • CS 472
    Foundations of Artificial Intelligence
  • CS 513
    System Security

At the University of Washington

Courses Taken

At Cornell

  • CS 410
    Data Structures
  • CS 412–413
    Introduction to Compilers and Translators
  • CS 414–415
    Introduction to Operating Systems
  • CS 432
    Introduction to Database Systems
  • CS 472–473
    Foundations of Artificial Intelligence
  • CS 481
    Introduction to the Theory of Computing (honours)
  • CS 482
    Introduction to Analysis of Algorithms
  • CS 483
    Quantum Computation
  • CS 501
    Software Engineering
  • CS 513
    System Security
  • CS 514
    Intermediate Computer Systems
  • CS 519
    Computer Networks
  • CS 611
    Advanced Programming Languages
  • CS 612
    Software Design for High-Performance Architectures
  • CS 614
    Advanced Course in Computer Systems
  • CS 681
    The Design and Analysis of Algorithms
  • CS 711
    Seminar in Advanced Programming Languages
    • Fall 2003
      Language-Based Security and Information Flow
  • ECE 475
    Computer Architecture
  • Math 413
    Honours Introduction to Analysis I
  • Math 420
    Differential Equations and Dynamical Systems
  • Math 433
    Honours Linear Algebra
  • Math 434
    Honours Introduction to Algebra
  • Math 452
    Classical Geometries
  • Math 486
    Applied Logic
  • Math 631
    Algebra
  • Math 661
    Geometric Topology Seminar

At the University of Washington