Serita Nelesen

Serita Nelesen



Other Interests: Anything family (both near and far), lots of things outside (especially camping and beaches), volleyball, swimming, and novels (the fun to read kind, not usually the classically brilliant kind).

Academic interests

Computational biology, computer science education, gender in computer science, automated theorem proving

Research and scholarship


K. Liu, S. Raghavan, S. Nelesen, C.R. Linder, and T. Warnow. Rapid and Accurate Large-Scale Coestimation of Sequence Alignments and Phylogenetic Trees, Science, vol. 324, no. 5934, pp. 1561-1564, 19 June 2009. LINK


K. Liu, S. Nelesen, S. Raghavan, C.R. Linder, and T. Warnow. Barking up the wrong treelength: The impact of gap penalty on alignment and tree accuracy. IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 6, no. 1, pp. 7-21, Jan.-Mar. 2009. LINK

S. Nelesen, K. Liu, D. Zhao, C. R. Linder, T. Warnow The Effect of the Guide Tree on Multiple Sequence Alignments and Subsequent Phylogenetic Analyses. Pacific Symposium on Biocomputing 13:15-24, 2008. Auxiliary materials available here. PDF

Warren A. Hunt Jr and Serita M. Nelesen. Phylogenetic Trees in ACL2. Proceedings of the 6th International Workshop on the ACL2 Theorem Prover and its Applications, Seattle, WA, August 15-16, 2006. PDF

Robert S. Boyer, Warren A. Hunt Jr and Serita M. Nelesen. A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance. In Algorithms in Bioinformatics: 5th International Workshop, WABI 2005, number 3692 in Lecture Notes in Computer Science, pages 353-364, © Springer Berlin / Heidelberg, 2005. PDF

Eric Smith, Serita Nelesen, David Greve, Matthew Wilding, and Raymond Richards. An ACL2 Library for Bags (Multisets). Proceedings of the 5th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, TX, 2004. PDF

Learn more about Calvin's excellent faculty and learning environment by scheduling a campus visit.

Visit »

  • Course code:
  • Credits:
  • Semester:
  • Department: