Contact Information
Education
- Ph.D., Computer Science, The University of Texas at Austin, 1990
- M.S., Mathematics, Carnegie Mellon University, 1978
- B.S., Applied Mathematics, Carnegie Mellon University, 1978
Research Interests or Expertise
- Automated Theorem Proving: Understanding Natural Language Proofs
- Computational Linguistics
- Computational Biology: Bayesian Analysis to Describe Genomic Evolution by Rearrangement (BADGER)
- Bayesian Analysis in Molecular Biology and Evolution (BAMBE)