Z
Zena Ariola
Associate Department Head Professor
GradNova doesn't forward messages to faculty. To contact Zena Ariola, use the University of Oregon website.
Research Interests
Lambda-Calculus
Logic
Programming Languages
Term Rewriting Systems
Logic, Programming, and Type Systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
Model-Driven Software Engineering Techniques
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →