Research Area: Theory

Theory is concerned with the general properties of computers, languages, and algorithms as opposed to their use for specific applications.

Subareas: Algorithms, Automated Theorem Proving, Formal Methods

Prof. Anderson study scheduling algorithms for scheduling jobs on computers, and develop new algorithms with better asymptotic run times than existing ones. Prof. Snoeyink studies geometric algorithms, which are concerned with computing properties of geometric diagrams composed of lines and points, or modifying such diagrams in specified ways. Such algorithms arise in many application areas. Prof. Duggirala works on developing algorithmic verification techniques for ensuring safety of cyber-physical systems. Prof. Sturton works on developing algorithmic verification techniques for ensuring security of hardware designs.

If you need assistance contacting a faculty member, please email the External Relations team.