Spring 99

  • Math 681
 Logic

Spring 98

  • CS 631
 Multimedia  Multimedia project homepage
  • CS 686
 Programming Logics

Fall 97

  • CS 601
 System Concepts
  • CS 676
 Intro to Automated Reasoning
  • MATH
 Topology

Spring 97

  • CS 682
 Complexity
  • MATH 453
 Abstract Algebra

Fall 96

  • CS 611
 Programming Languages
  • CS 681 
 Algorithms
  • CS 481
 Formal Languages

Undergraduate Classes - Rice University