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

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)