# 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.

Lev Reyzin, Ph.D. Yale University, 2009. computational and statistical learning, theoretical computer science, machine learning.

Gyorgy Turan, Ph.D. Joszef Attila 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.