Next:
Scalar Compiler
Up:
Research Groups
Previous:
Graphics
Algorithms and Complexity
Examines
combinatorial algorithms, graph algorithms, computer-aided verification
Faculty and Research Scientists:
Moshe Vardi
applications of logic to computer science
Lydia Kavraki
geometric algorithms
Kathi Fisler
computer-aided verification