The Foundations and Algorithms group investigates mathematical underpinnings of computing, with the goal of designing algorithms and computational approaches to problems of engineering, social and natural sciences, medicine and healthcare. The overarching goal of the group is to build a mathematically sound foundation for the design of modern computing systems, and to develop analytic frameworks for their correctness, performance, reliability and security. Current research topics include design of efficient data structures and algorithms, characterizing the complexity of computational problems, exploring the fundamental limits of quantum computers, and design of secure and scalable cryptographic protocols.