ACM Conference on Computer and Communications Security PC Co-Chair2017
Distinguished Research Award2014
IEEE Technical Committee on Security and Privacy Award for Outstanding Community Service2010
State Council of Higher Education for Virginia Outstanding Faculty Award2009
Defense Science Study Group Fellow2008–9
All-University Teaching Award 2008
Harold Morton Jr. Award for Teaching 2004
ACM Jefferson Undergraduate Teaching Award2002
University Teaching Fellow2001
National Science Foundation CAREER Award2001
Selected Publications
Dori-Mic and the Universal Machine! A Tragicomic Tale of Combinatorics and Computability for Curious Children of All Ages (With Illustrations by Kim Dylla), 2014. ABSDavid Evans
Introduction to Computing: Explorations in Language, Logic, and Machines. Introductory computer science coursebook, 2007-2012. ABSDavid Evans