GradNova

/

/

Automated Reasoning

Automated Reasoning

3 faculty research Automated Reasoning on GradNova.

C

F. Wendell Miller Professor

Computer Science

University of Iowa

Applications of Logic in Computer Science

Automated Reasoning

Foundations of Programming Languages

P

Paliath Narendran

Professor

Computer Science

University at Albany, State University of New York

Automated Reasoning

Pattern Matching

Symbolic Protocol Analysis

Term Rewriting Systems

+5

C

Assistant Professor

Computer Science

Montana State University

Automated Reasoning

Programming Languages

+5

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.