David Van Horn

David Van Horn is an associate professor of computer science with an appointment in the University of Maryland Institute for Advanced Computer Studies.

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