Faculty Directory

Van Horn, David

Van Horn, David

Associate Professor
Computer Science
Maryland Cybersecurity Center
5250 Iribe Center


  • 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 


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. 


  • NSF CAREER Award (2019)
  • OOPSLA Distinguished Paper Award (2018)

  • Cryptography
  • Programming Languages
  • Verification

MC2 Kicks Off Third Year of Postdoctoral Fellowship Program

The fellowships offer an opportunity to work closely with MC2 faculty in multiple areas of cybersecurity.

Maryland Cybersecurity Center Kicks Off Second Year of Postdoctoral Fellowship Program

The fellowship offers an opportunity to work closely with faculty and graduate students in the center.

Van Horn to Present Paper on Guaranteeing Security and Efficiency in Gradually Typed Programs

He is presenting next month at the 48th ACM SIGPLAN Symposium on Principles of Programming Languages.

Van Horn Wins Most Influential Paper Award at ICFP 2020

The paper is being recognized as having had significant influence in the field of programming languages.

Van Horn Receives NSF Award For Gradual Verification Project

He aims to close the gap between programming languages and verification-integrated languages.

UMD Researchers Awarded $3.4M DARPA Grant to Develop Automated Software-Analysis Tools

UMD Researchers Awarded $3.4M DARPA Grant to Develop Automated Software-Analysis Tools