A A Email Print Share

Donald L. Simon, Ph.D.

Associate Professor
McAnulty College and Graduate School of Liberal Arts
Mathematics and Computer Science

College Hall 416
Phone: 412.396.6472

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)