Computational modeling has become very important in Biology and Medicine. Biological systems, however, have very complex behaviors which make them difficult to fully understand and control. Recently, I have become interested in the application of techniques from the field of Model Checking in order to better understand the properties of biological systems. In this talk, I will present some of our work in this area. Specifically, I will discuss our applications of bit-vector decision procedures for analyzing protein folding pathways, as well as the use of symbolic model checking for devising control policies for biological systems. I will conclude by summarizing what I believe are some of the most challenging and interesting opportunities for applying formal methods in biology.