GradNova

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.

Automated Deduction Research Faculty | GradNova

/

/

Automated Deduction

Automated Deduction

1 faculty research Automated Deduction on GradNova.

D

Visiting Assistant Professor - Instructional

Computer Science

University at Albany, State University of New York

Automated Deduction

Functional Analysis and Mathematical Physics With Applications to Quantum Computing

Semigroups and Automata Theory

Cryptography and Data Security

+3