The Interface of Biology and Theortical Computer Science