CS 7001 Mini Projects

Here are some mini projects that I contributed to the 7001 course, Fall 2004

• Theory (Logic)

  1. Algorithms for Arithmetic on Large Ordinal Notations
  2. (An Initial Segment of) The Ordinals

• ACL2
  

  1. ACL2 Type Reasoning as Abstract Interpretation

• Other Projects in Formal Methods