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.

Programming Languages (formal Verification and Testing) Research Faculty | GradNova

/

/

Programming Languages (formal Verification and Testing)

Programming Languages (formal Verification and Testing)

2 faculty research Programming Languages (formal Verification and Testing) on GradNova.

G

Ganesh Gopalakrishnan

Professor

School of Computing

University of Utah

Artificial Intelligence (ml and Systems)

Programming Languages (formal Verification and Testing)

Formal Methods in Verification

Embedded Systems Design Techniques

+1

E

Research Associate Professor

School of Computing

University of Utah

High-Performance Computing (scalable Systems)

Programming Languages (formal Verification and Testing)

Security / Privacy (systems Security)

Systems (networking, Scalable Systems)

+5