Search results
David Kevin Van Horn (born September 17, 1860) is an American baseball coach and former infielder, who is the former head baseball coach of the Arkansas Razorbacks.
Department of Computer Science. UMIACS. University of Maryland. 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.
Dave Van Horn, the three-time SEC Coach of the Year, enters his 22nd season at the helm of the Arkansas baseball program in 2024. Over his 21 seasons as Head Hog, Van Horn has...
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).
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.
David Van Horn is an associate professor of computer science and a member of the Maryland Cybersecurity Center and the Lab for Programming Languages. Van Horn’s research centers on program analysis and how it is applied to programming languages, software engineering, verification and security.
David Van Horn. Associate Professor Department of Computer Science & UMIACS University of Maryland
David Van Horn. University of Maryland. Verified email at cs.umd.edu - Homepage. Programming languages. Articles Cited by Public access Co-authors. Title. ... N Vazou, J Breitner, R Kunkel, D Van Horn, G Hutton. Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 132-144, 2018. 26: 2018: The system can't perform the ...
David VAN HORN, Assistant Professor | Cited by 1,116 | of University of Maryland, College Park, MD (UMD, UMCP, University of Maryland College Park) | Read 72 publications | Contact David...
David graduated with PhD from PLUM in 2016, working under the superivison of David Van Horn. After a couple of years as an assistant professor and core member of the Center for Computer Security and Privacy at the University of Vermont, he has been a Principal Scientist at Galois since 2020.
