Frank Pfenning

Affiliation: Carnegie Mellon University
Department: Department of Computer Science