Mathematical Foundations of Computing
Meet the faculty.
Algorithms and quantum computations
We conduct research in algorithmic aspects of quantum mechanical systems. We study systems based on quantum mechanical principles and how they differ from traditional computational systems.
Cryptography and computational number theory
Our research in cryptography focuses on the exploration of mathematically and computationally difficult problems as a source of secure communications.
Efficient algorithms and complexity theory
We develop methods for the design of efficient algorithms, and we analyze the complexity of selected problems. Our research covers a broad range of algorithmic areas, with a focus on probabilistic methods.