Serita Nelesen
- Dr. Serita Nelesen
- Assistant Professor
- North Hall 296 (Map)
- (616) 526-8562
- smn4@calvin.edu
Education
- BA Computer Science, Calvin College, 2001
- BS Mathematics, Calvin College, 2001
- MS Computer Science, The University of Texas at Austin, 2006
- PhD Computer Science, The University of Texas at Austin, 2009
Biography
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
Publications
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 »