Serita Nelesen, 3/2/05:

   This talk will give an introduction to the field of computational
   biology,and show how algorithms from this area have been implemented
   using ACL2. This work builds off of the hash-consing and memoization
   work of Warren Hunt and Bob Boyer.  I will present a couple
   algorithms and show experimental results comparing our system (called
   TASPI) to other tools in the field.