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, Programming, and Type Systems Research Faculty | GradNova

/

/

Logic, Programming, and Type Systems

Logic, Programming, and Type Systems

145 faculty research Logic, Programming, and Type Systems on GradNova.

Y

Assistant Professor

Computer Science

Augusta University

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

...