Theory Group
The theory group consists of ten faculty members (including three
adjuncts and one long-term visitor) who use mathematical techniques to study
problems throughout computer science. We work on network algorithms,
combinatorial optimization, computational geometry, dynamic algorithms
and complexity, model checking and static analysis, database theory, descriptive
complexity, parallel algorithms and architectures, and computational
complexity theory. Members of the theory group wear other hats as
well and collaborate throughout the department and the world
beyond. For more details of the myriad work going on, please visit
our web-pages.
Faculty
Micah Adler (Design and analysis of efficient algorithms, packet routing, parallel and distributed computation)
David A. Mix Barrington (computational complexity, particularly boolean circuits, automata, and logic)
Neil Immerman (descriptive complexity, model checking, database theory)
Robbie Moll (combinatorial optimization, automated learning)
Arnold Rosenberg (parallel and distributed systems)
Ramesh Sitaraman (parallel and distributed systems, communication networks)
Visiting and Adjunct Faculty
Cathy McGeoch (Amherst College, experimental analysis of algorithms)
Lyle McGeoch (Amherst College, Approximation algorithms, online algorithms, dynamic graph algorithms)
Ileana Streinu (Smith College, computational geometry)
Mikkel Thorup (AT&T, algorithms and data structures)
Theory Graduate Students
Creidieki Crouch
Naomi Fox
Audrey Lee
Brandon McPhail
Michael Sindelar
Shashi Shekhar Singh
Siddharth Srivastava
Louis Theran
Philipp Weis
Theory Alumni
Bill Hesse (Assistant Professor, Clarkson University)
Suprakash Datta (Assistant Professor, York University, Canada)
Kousha Etessami (Reader, University of Edinburgh)
Li-Xin Gao (Associate Professor, Electrical and Computer Engineering at UMass Amherst)
Chi-Jen Lu (Associate Research Fellow, Institute of Information Science, Taiwan)
J. Antonio Medina (Morgan Stanley)
Sushant Patnaik (Wachovia Securities)
Vittorio Scarano (Associate Professor, Universita di Salerno, Italy)