David Van Horn’s work supports scientific foundations for software construction and understanding. He is interested in the design, implementation, and use of programming languages. In particular, his research has focused on the analysis of higher-order programs and its complexity. He has proved novel upper and lower bounds for a number of important program analyses. He has also developed type systems for inferring and verifying temporal models of programs.
He teaches the fundamentals of programming and computation at Northeastern and believes understanding computation to be a basic component of literacy.
His work is currently supported by a National Science Foundation grant to the Computing Research Association for the CIFellow Project.