Faculty Research - Computer Science
Danko Adrovic, Ph.D. University of Illinois at Chicago, 2012. Polyhedral methods in algebraic geometry; generalization of polyhedral homotopies via tropical algebraic geometry.
Matthew Harrison-Trainor, Ph.D. University of California, Berkeley, 2017. Logic and computability theory.
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, network and data science, and optimization.
Gyorgy Turan, Ph.D. Joszef Attila University, Hungary, 1981. Explainable AI; 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.