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.
Caroline Terry, Ph.D. University of Illinois at Chicago, 2016. Model Theory.
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.