The Department is pleased to announce that David Van Horn will join our faculty this coming Fall.
David is currently a Research Assistant Professor at Northeastern University.
David's research focuses on program analysis and its applications to programming languages, software engineering, verification, and security. Specifically, he works on the design, implementation, and use of programming languages to enable the production of software that can be mechanically reasoned about, with the ultimate goal of enabling the construction of reusable, trusted software components. He has developed new techniques for designing, implementing, and verifying automated reasoning tools that work on programs written in modern, high-level languages; applied these techniques to build state of the art security vetting systems for analyzing Android smartphone applications; resolved important discrepancies between the functional and object-oriented communities’ understanding of analysis; and proven novel lower and upper bounds on the complexity of analyzing programs.