GradNova

D

David Walker

Professor, Director of Undergraduate Studies

Computer Science, Princeton University

Research Interests

Programming Languages & Compilers

Software-Defined Networks and 5G

Logic, Programming, and Type Systems

Formal Methods in Verification

Security and Verification in Computing

Parallel Computing and Optimization Techniques

Academic Metrics

Links

Grants