Theory and Algorithms
Theoretical computer science develops efficient algorithms and explores fundamental barriers to efficient and secure computation. Advances in algorithms can provide dramatic performance gains, which are critically important as the era of Moore's Law—and its promise of ever-increasing processor speeds—draws to a close.
Our faculty develop algorithms to find optimal paths, trees, flows, clusters, and other important combinatorial structures in geometric and network data. For problems where computing the best possible solution is prohibitively expensive, we develop fast approximation algorithms to compute provably good solutions, and we explore the limits of what cannot even be approximated quickly. We develop algorithms that exploit geometric, algebraic, and topological properties of data that arise naturally in practice. Within cryptography, we develop protocols for secure multiparty computation and code obfuscation. In algorithmic game theory, we study the impact of strategic behavior among multiple agents. Our research, in addition to its fundamental importance, has many near-term applications in Computer Science and beyond.
CS Faculty and Their Research Interests
|Timothy Chan||computational geometry|
|Chandra Chekuri||algorithms, optimization|
|Jeff Erickson||computational geometry and topology, algorithms|
|Michael Forbes||computational complexity|
|Brighten Godfrey||networked systems theory, distributed algorithms|
|Sariel Har-Peled||computational geometry, geometric approximation algorithms|
|Sheldon Jacobson||optimization, operations research|
|Dakshita Khurana||joining fall 2019; cryptography, privacy, security|
|Ruta Mehta||algorithmic game theory, mathematical economics, efficient algorithms|
|Leonard Pitt||AI and theoretical computing|
|Matus Telgarsky||machine learning theory|
|Mahesh Viswanathan||algorithmic verification of cyberphysical systems|
|Tandy Warnow||multiple sequence alignment, phylogenomics, metagenomics, and historical linguistics|
|Karthik Chandrasekaran, Industrial & Enterprise Systems Engineering||combinatorial optimization, integer programming, probabilistic methods and analysis, randomized algorithms|
|Negar Kiyavash, Electrical & Computer Engineering and Industrial & Enterprise Systems Engineering||learning, statistical signal processing, and information theory; causality; network forensics|
|Rakesh Nagi, Industrial & Enterprise Systems Engineering||social networks, graph algorithms, applied operations research, discrete optimization|
|Alexandra Kolla, University of Colorado at Boulder||complexity theory, spectral methods for graph algorithms|
|Manoj Prabhakaran, IIT Bombay||cryptography, secure multi-party computation|
Related Theory and Algorithms Research Efforts and Groups
- Information Trust Institute (ITI) in the Coordinated Science Lab
- Carl R. Woese Institute for Genomic Biology (IGB)
- Theory and Algorithms Group
To receive weekly reminders and announcements of Theory & Algorithms seminars, please sign up for the theory-seminar mailing list.
Theory and Algorithms Research News
CS Graduate Indukuri Using $1.29M In Venture Backing From LinkedIn CEO And Others To Fine Tune TralaFebruary 5, 2019 Illinois CS graduate sees venture funding as key to expanding content of violin app, and boosting its sales.
Mobility Lab -- A new study by the University of Illinois and Georgia Tech attaches solid numbers to what seems like common sense. “The results indicate that when more people opt to use public transit ... obesity rate tends to drop,” said Sheldon H. Jacobson, a co-author and professor at Illinois. Also covered by the New York Post.
HACKADAY -- "We were excited to see Jeff Erickson is publishing his algorithms book distilled from teaching at the University of Illinois. ... There are worse places to learn about algorithms than UIUC; they have a long history in both real and fictional computing."
PrairieFarmer -- A lab at the University of Illinois, led by Assistant Professor Girish Chowdhary, is building 3-D-printed robots to collect data on individual crops. Over years of prototyping, these robots have gotten skilled at using code and sensors to differentiate individual crops from background noise and weeds.