Theoretical Foundations

Research in theoretical foundations formally defines both the types of problems that can be solved using a computer and the quality of their solutions. Computers are limited by space and time. The optimal solution to a computational problem often lies outside these limits, thus an approximate solution must be computed. Methods developed in this area define the plausibility of an optimal solution, the quality of the approximate solution, and the resources necessary to find each, thus leading the way to better utilization of a computer's resources or those of multiple computers in parallel. Specific research in this area encompasses a broad range of foundational topics in computer science including computational learning theory, complexity theory, algorithm and data structure design, parallel algorithms, geometric computing, cryptography, computational logic, programming languages theory, and matrix computations. Several group members are also engaged actively in leveraging their research into various application areas.

 

Faculty

Arindam Banerjee headshot
Arindam Banerjee
Professor
Office
6-213 Keller Hall
Phone
Dan Boley headshot
Daniel Boley
Professor, Data Science Director of Graduate Studies
Office
6-209 Keller Hall
Phone
E-mail
Favonia headshot
Kuen-Bang Hou Favonia
Assistant Professor
Office
6-209 Keller Hall
Phone
E-mail
Nicholas Hopper thumbnail
Nicholas Hopper
Professor, Director of Undergraduate Studies
Office
4-211 Keller Hall
Phone
Ravi Janardan headshot
Ravi Janardan
Professor
Office
6-217 Keller Hall
Phone
George Karypis headshot
George Karypis
Distinguished McKnight University Professor
Office
483 Walter Library
Phone
Vipin Kumar headshot
Vipin Kumar
Regents Professor, William Norris Land Grant Chair in Large-Scale Computing
Office
5-225C Keller Hall
Phone
Gopalan Nadathur headshot
Gopalan Nadathur
Professor
Office
6-215 Keller Hall
Phone
Yousef Saad headshot
Yousef Saad
Professor, William Norris Land Grant Chair in Large-Scale Computing
Office
5-225B Keller Hall
Phone
E-mail
Ju Sun headshot
Ju Sun
Assistant Professor
Office
5-225E Keller Hall
Phone
E-mail
Eric Van Wyk headshot
Eric Van Wyk
Associate Professor
Office
6-203 Keller Hall
Phone
E-mail

Latest research projects, publications, and talks