Return to Faculty Directory

Van Horn, David

David Van Horn
Assistant Professor
CMNS-Computer Science and UMIACS
5250 Iribe Center

Primary Areas 

Software security and program analysis

Research Interests 

Van Horn’s research centers on program analysis and how it is applied to programming languages, software engineering, verification and security. He specifically works on the design and implementation of programming languages that go towards building secure, reliable, efficient and reusable high-quality software.


David Van Horn is an assistant professor of computer science and a member of the Lab for Programming Languages and the University of Maryland (PLUM).

Van Horn received his doctoral degree in computer science from Brandeis University in 2009. He was most recently a research assistant professor of computer and information science at Northeastern University before joining the University of Maryland.


Ph.D., Brandeis University (Computer Science)

Clark School        UMIACS   CMNS