Van Horn, David
Maryland Cybersecurity Center
UMIACS
EDUCATION
- B.S. in Computer Science and Information Systems from University of Vermont
- M.S. in Computer Science from University of Vermont
- Ph.D. in Computer Science from Brandeis University
BACKGROUND
David Van Horn is an assosicate professor in the Department of Computer Science with a joint appointment in the University of Maryland Institute for Advanced Computer Studies. He is a core faculty member in the Maryland Cybersecurity Center and co-director of the Lab for Programming Languages at the University of Maryland (PLUM).
Van Horn works toward making the construction of reusable, trusted software components possible and effective. His research has spanned program analysis, semantics, verification and model-checking, security, logic, complexity and algorithms.
Van Horn co-authored the book "Realm of Racket," which introduces programming interactive video games. He also received an NSF CAREER award in 2019 and an Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) Distinguished Paper Award in 2018.
Van Horn received a doctorate in computer science from Brandeis University.
HONORS AND AWARDS
- NSF CAREER Award (2019)
- OOPSLA Distinguished Paper Award (2018)
- Cryptography
- Programming Languages
- Verification