Skip to main content
University of Maryland
David Van Horn

David Van Horn

Associate Professor, Programming Languages

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.

Contact
(301) 405-6722
5250 Iribe Center
Academic Web Page Google Scholar Profile
Special Awards & Honors
Back to Top