David Walker


5533 Covode Street, Apt. 17
Pittsburgh, P.A. 15217-1955
(412) 422-7308


Department of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, P.A. 15213-3891
(412) 268-6714


Research Focus

I study the theory, design, and implementation of modern programming languages. I am particularly interested in finding new ways to use logic, type theory and static analysis to help programmers write efficient, yet secure and reliable code. Specific research topics include: Certifying compilation, typed intermediate languages, typed assembly language and proof-carrying code; logic and type systems for reasoning about safety properties, memory management, aliasing and security; applications of programming language technology to the design and implementation of systems software.

Recent Research Projects

Journal Articles

Workshop and Conference Papers

Selected Talks

Teaching, Cornell University

Other Academic Activities


Employment Experience