Rice University
Algorithms and Complexity Group
Welcome to the WWW Home Page of the Algorithms and Complexity Group of the
Department of Computer Science
of
Rice University
, Houston, Texas, USA.
PEOPLE
Kathi Fisler
Lydia Kavraki
Moshe Vardi
RESEARCH AREAS
Descriptive Complexity Theory
Computer-Aided Verification
USEFUL LINKS
ACM SIGACT
e-MATH Home Page
Los Alamos Combinatorics E-print Server
![[rice shield]](http://www.cs.rice.edu/CS/images/ricelogo.gif)