Faculty Research - Computer Science
Jeffrey Leon (Emeritus), Ph.D. California Institute of Technology, 1971. Computation group theory; computational combinatorics.
Glenn K. Manacher (Emeritus), Ph.D. Carnegie Institute of Technology, 1961. Computer algorithms; computer language design.
Lynn Scow, Ph.D. University of California-Berkeley, 2010. Model Theory, Classification Theory, Ramsey Theory.
Gyorgy Turan, Ph.D. Joszef A. University (Hungary), 1981. Complexity theory; computational learning theory; combinatorics; logic.
Jan Verschelde, Ph.D. Katholieke Universiteit Leuven, Belgium, 1996. Computational algebraic geometry; symbolic-numeric computation; combinatorial and polyhedral methods; development of mathematical software; high performance computing; numerical analysis.