David Van Horn

Assistant Professor
Department of Computer Science
& UMIACS
University of Maryland

UMD

Structures don’t march in the streets.


PLUM
Realm of Racket


dvanhorn

I work toward making the construction of reusable, trusted software components possible and effective. My research has spanned program analysis; semantics; verification and model-checking; security; logic; complexity; and algorithms.

With Jeff Foster and Mike Hicks, I direct the laboratory for Programming Languages at the University of Maryland (PLUM). Previously, I’ve worked with the Programming Research Laboratory (PRL) at Northeastern University.

I currently serve as the workshop chair for POPL, as the publicity chair for ICFP, and as a program committee member for ICFP 2015 and OBT 2015.

I co-authored the book Realm of Racket with Matthias Felleisen and undergraduates from Northeastern University, which introduces programming interactive video games.