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.

Logic in Computer Science Research Faculty | GradNova

/

/

Logic in Computer Science

Logic in Computer Science

3 faculty research Logic in Computer Science on GradNova.

B

Professor

Computer Science

University of Victoria

Computational Complexity

Foundations of Security

+6

R

Roberto Giacobazzi

Professor

Computer Science

University of Arizona

Abstract Interpretation

History of Computing

Logic in Computer Science

Program Analysis and Verification

+7

H

Professor, Computer Science

Computer Science

Brandeis University

Functional Programming

Lambda Calculus

Logic in Computer Science