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.

Program Verification for Operating System Kernels Research Faculty | GradNova

/

/

Program Verification for Operating System Kernels

Program Verification for Operating System Kernels

1 faculty research Program Verification for Operating System Kernels on GradNova.

C

Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science

Computer Science

Drexel University

Computational Linguistics

Program Verification for Operating System Kernels

Programming Languages and Formal Methods

Type and Effect Systems

+4