CS 7001 Mini Projects

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

• 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

• Security

  1. Formally modeling security protocols (joint with Wenke Lee)

• Other Projects in Formal Methods