Zena M. Ariola (original) (raw)

Department of Computer & Information Science

Zena M. Ariola, Professor

Education

BS, 1980, University of Pisa, Italy
PhD, 1992, Harvard University

Research Areas

Programming Languages
Term Rewriting Systems
lambda-calculus
logic

* Teaching Activities * Publications