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.