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