Theoretical Foundations

[Overview]   [Faculty]   [Projects]  

Theoretical Foundations focuses on formal approaches to modeling the essence of computation problems, developing and analyzing algorithms, and understanding inherent limits of computational models.

Faculty

Nancy Amato, Unocal Professor   (Motion planning, computational biology, robotics, computational geometry, animation, CAD, VR, parallel and distributed computing, parallel algorithms, performance modeling, and optimization)

Jianer Chen, Professor   (Algorithms and complexity, computer networks, bioinformatics, computer graphics)

Gabriel Dos Reis, Assistant Professor   (Computer algebra, mathematical software, formal verification, programming languages, compiler construction, generic programming)

Anxiao (Andrew) Jiang, Associate Professor   (Information theory, coding for flash memories, wireless and sensor networks, algorithms)

John Keyser, Associate Professor   (Geometric computing, graphics and visualization, simulation and modeling, and computer algebra)

Andreas Klappenecker, Professor   (Quantum computing, image processing, cryptography)

Evdokia Nikolova, Assistant Professor   (Algorithms and combinatorial optimization; stochastic and risk-averse optimization; algorithmic game theory )

Sing-Hoi Sze, Associate Professor   (Bioinformatics/Computational Biology: multiple sequence alignment, motif finding with applications to predicting transcription factor binding sites, biological network analysis, identification of gene clusters within genomes)

Jennifer Welch, Professor   (Algorithms and lower bounds for distributed computing systems, in particular mobile ad hoc networks and distributed shared objects)

Projects

Efficient Massively Parallel Adaptive Algorithm for Time-Dependent Transport on Arbitrary Spatial Grids, DOE
PIs: Marvin Adams, Nancy Amato, Lawrence Rauchwerger

CAREER: Design of Efficient Quantum Algorithms, NSF
PI: Andreas Klappenecker

CARGO: Degeneracy Detection for Curved Solids, NSF
PIs: John Keyser, Maurice Rojas

Efficient Decoherence Control Algorithms, NSF
PI: Andreas Klappenecker

Exact Computational Biology Algorithms with Small Parameters, NSF
PIs: Sing-Hoi Sze, Jianer Chen

Exploring the Brain Forest, THECB ATP
PIs: John Keyser

ITR: Accurate and Robust Operations on Curved Geometry, NSF
PI: John Keyser

ITR/AP: A Motion Planning Approach for Protein Folding Simulation, NSF
PIs: Nancy Amato, Lawrence Rauchwerger, Ken Dill (UCSF)

ITR/SY: SmartApps: An Application Centric Approach to Scientific Computing, NSF
PIs: Lawrence Rauchwerger, Nancy Amato

Next Generation Compilers for Emerging Multicore Systems
PI: Lawrence Rauchwerger, Gabriel Dos Reis, Bjarne Stroustrup

Parameterized Computation and Applications, NSF
PI: Jianer Chen

Quantum Computation, TITF
PIs: Andreas Klappenecker, Goong Chen, Berthold-Georg Englert, Suhail Zubairy

Self-Stabilizing Group Communication for Mobile Environments, NSF
PIs: Jennifer Welch, Nancy Lynch (MIT)