Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Algorithms and Theory

Exploring game theory, market equilibriums, efficient algorithms


We are working in emerging fields within theoretical computer science, including privacy in statistical databases and quantum computing. We also investigate algorithms and mathematics for the Internet, including web search, social-network analysis, spam fighting, and web security.

Classical areas of interest include complexity, cryptography, algebraic computation, random structures, and spectral methods for data analysis. We strive to develop scalable algorithms for learning and data mining, cryptographic algorithms, graph algorithms, synchronization algorithms, networking algorithms, and sampling algorithms. We also look at problems at the intersection of systems, networking, and algorithms research: We study the algorithmic foundations of the systems that drive today’s computing—such as cloud computing, data centers, large-scale distributed systems, and mobile computing—and we apply our expertise in practice to advance the state of the art in applied algorithm design and deliver highly efficient, scalable, robust solutions.

We also conduct research in several theoretical areas in mathematics and physics that are beyond the traditional scope of computer science but are closely connected. Researchers actively work on combinatorics, geometry and topology, probability theory, statistical physics, number theory, and functional analysis.

Publications

Yu Zheng, Trajectory Data Mining: An Overview, in ACM Transaction on Intelligent Systems and Technology, ACM – Association for Computing Machinery, September 2015.

Young-Bum Kim, Karl Stratos, Ruhi Sarikaya, and Minwoo Jeong, New Transfer Learning Techniques For Disparate Label Sets, in Association for Computational Linguistics (ACL), ACL – Association for Computational Linguistics, August 2015.

Dan Alistarh, Thomas Sauerwald, and Milan Vojnovic, Lock-Free Algorithms under Stochastic Schedulers, in Proceedings of ACM Symposium on Principles of Distributed Computing (PODC 2015), ACM – Association for Computing Machinery, July 2015.

Dan Alistarh, Rati Glasvili, and Milan Vojnovic, Fast and Exact Majority in Population Protocols, in Proceedings of ACM Symposium on Principles of Distributed Computing (PODC 2015), ACM – Association for Computing Machinery, July 2015.

Woodhouse S., Piterman N., Koksal A., and Fisher J., Synthesizing Executable Gene Regulatory Networks from Single-Cell Gene Expression Data, in Computer Aided Verification (CAV), Springer, July 2015.

More publications ...