GradNova

Semantics

3 faculty research Semantics on GradNova.

D

Professor

Computer Science

University of Hawaiʻi at Mānoa

Computer Security

Network Computation and Economics

Quantum Computation

+2

A

Professor, Associate Dean of Graduate Programs

Computer Science

Northeastern University

Programming Languages

Secure Compilation

+2

C

Assistant Professor

Computer Science

Worcester Polytechnic Institute

Program Verification

Programming Languages

Fusion Materials and Technologies

+2