Contact Information
Education
Ph.D., Computer Science, The University of Texas at Austin, 1990M.S., Mathematics, Carnegie Mellon University, 1978
B.S., Applied Mathematics, Carnegie Mellon University, 1978
Research
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)