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.

Formal Methods, Verification, and Synthesis Research Faculty | GradNova

/

/

Formal Methods, Verification, and Synthesis

Formal Methods, Verification, and Synthesis

1 faculty research Formal Methods, Verification, and Synthesis on GradNova.

P

Perry Alexander

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences

Computer Science

University of Kansas

Formal Methods, Verification, and Synthesis

Specification Languages

System-Level Design Languages and Semantics

Trusted Computing

+5