Van Horn, David
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)