David Van Horn

简介

David Van Horn is an Associate Professor in the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS) at the University of Maryland, College Park. His research interests are in programming languages and formal methods, where he works toward making the construction of reusable, trusted software components possible and effective. He publishes regularly in the flagship SIGPLAN conferences, POPL, PLDI, OOPSLA, and ICFP, and his work has been recognized with a NSF CAREER Award, a CRA Computing Innovation Fellowship, a Communications of the ACM Research Highlight, an OOPSLA Distinguished Paper Award, and an ICFP Most Influential Paper Award. He is the co-author of “Realm of Racket,” an illustrated book on programming video games, written and illustrated with eig

教育经历

• CRA Computing Innovation Fellow, Northeastern University, 2011
• PhD Computer Science, Brandeis University, 2009
• MA, BS Computer Science, University of Vermont, 2004, 2006