Theory and Algorithms
Computer science theory assesses which problems are possible and feasible to solve through theories of computability, undecidability, complexity, reducibility, and approximability.
Research in algorithms involves the best ways to formulate computational tasks as well as solve them in various serial, parallel, streaming, and distributed environments.
Besides raising famous open questions surrounding P, NP, and other complexity classes, the field has demonstrated the interrelatedness of myriad, diverse computational problems, the promise of quantum computing, the quantification of information, knowledge, and security, and the success of algorithmic methods in computational learning and data science.
Centers and Labs
Affiliated Faculty
UB Distinguished Professor; Adjunct Professor of Electrical Engineering; Adjunct Professor of Structural Biology; Senior Research Scientist at the Hauptman-Woodward Medical Research Institute
Computer Science and Engineering
Top Conferences
Computer scientists introduce innovative new work at annual conferences. The most prestigious Theory and Algorithms conferences are:
European Symposium on Algorithms (ESA)
International Colloquium on Automata, Languages and Programming (ICALP)