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)