Jack Davidson headshot
JD

Jack W. Davidson

Professor
Unit: School of Engineering and Applied Science
Department: Department of Computer Science
Office location and address
Rice Hall 424
85 Engineers Way
Charlottesville, Virginia 22903
Education
Ph.D. University of Arizona, 1981
​M.S. Southern Methodist University
​B.A.S. Southern Methodist University, 1975
Biography

Jack W. Davidson is a Professor of Computer Science in the School of Engineering and Applied Science at the University of Virginia. He joined the faculty in 1981 after receiving his Ph.D. in Computer Science from the University of Arizona. Professor Davidson’s research interests include compilers, computer security, programming languages, computer architecture, and embedded systems. He is the principal investigator on several ongoing grants to develop comprehensive methods for protecting software from malicious attacks.

Professor Davidson is a Fellow of the ACM and a Senior Member of the IEEE Computer Society. He served as an Associate Editor of ACM’s Transactions on Programming Languages and Systems for six years, and as an Associate Editor of ACM’s Transactions on Architecture and Compiler Optimizations for eight years. He served as Chair of ACM’s Special Interest Group on Programming Languages (SIGPLAN) from 2005 to 2007. He currently serves on the ACM Executive Council and is co-chair of ACM’s Publication Board that oversees all aspects of ACM’s publications and the operation of ACM’s Digital Library.

Professor Davidson is co-author of two best-selling introductory programming textbooks, C++ Program Design: An Introduction to Object-Oriented Programming, 3rd edition and Java 5.0 Program Design: An Introduction to Object-Oriented Programming, 2nd edition. He and his colleague, James P. Cohoon, received the 2008 IEEE Taylor L. Booth Award for their sustained effort to transform introductory computer science education.

CICI: UCSS: Helix++: Securing Open Science Platforms
Source: U.S. National Science Foundation (NSF)
August 01, 2021 – July 31, 2024
CCRI: Planning: Towards Building a Community Data Infrastructure for CyberSecurity Research
Source: U.S. National Science Foundation (NSF)
October 01, 2020 – September 30, 2022
Privacy-Enhanced Coordinated Enterprise Defense via Temporal and Topological Representation Learning
Source: U.S. DOD - Darpa
May 08, 2018 – May 07, 2022
EN-CS-LDM7 CC* Integration: Enhancement and deployment of LDM7 for scientific data distribution
Source: U.S. NSF - Directorate Computer & Info. Sciences
April 01, 2017 – September 30, 2021
Innovation in the Public Interest
Source: New Venture Fund
September 01, 2019 – December 31, 2020
Trusted and Resilient Mission Operation
Source: Regents of the University of Michigan
November 21, 2018 – November 20, 2019
EN-CS Double Helix: High-Assurance N-Variant Systems
Source: U.S. DOD - Air Force - Other
May 13, 2015 – December 24, 2018
Trusted and Resilient Mission Operation
Source: U.S. DOD - Air Force - Afosr
June 26, 2017 – September 30, 2018
EN-DO Research in Support of SAIC's Strategic Alliance with UVA
Source: Science Applications Intrnl Corp
July 01, 2009 – December 31, 2017
EN-SIE Human Capital Development - Resilient Cyber-Physical Systems
Source: Stevens Institute of Technology (Inc)
March 01, 2017 – September 29, 2017
EN-CS Cyber Grand Challenge: Automated Cyber Reasoning
Source: GrammaTech, Inc.
June 04, 2014 – March 01, 2017
EN-CS Software Assurance Argument Technology for the Class Process
Source: DEPENDABLE COMPUTING, LLC
July 08, 2013 – August 31, 2016
EN-CS Helix/Kevlar: Transitioning Helix from Reseach to Practice
Source: U.S. DOD - Air Force - Afosr
February 19, 2015 – September 30, 2015
EN-CS Scientific Workshop on Continuously Upgradeable Software Security and Protection
Source: U.S. DOD - Army - Aro
August 01, 2014 – July 31, 2015
RS-2012 i6 Challenge - Virginia Innovation Partnership (VIP)
Source: U.S. DOC - Economic Development Administration
October 01, 2012 – March 31, 2015
PEASOUP: Preventing Exploits Against Software of Untrusted Provenance
Source: GrammaTech, Inc.
August 26, 2010 – December 31, 2014
KEVLAR: Transitioning Helix from Research to Practice
Source: U.S. DOD - Air Force - Afosr
February 27, 2013 – November 26, 2014
Securing Untrusted Binaries with Acceptance Testing and Field Monitoring
Source: U.S. DOD - Army - Aro
May 01, 2010 – April 30, 2014
CS 3501: Special Topics in Computer Science
Credits: 1–3
Content varies, depending on instructor interests and the needs of the Department. Taught strictly at the undergraduate level. Prerequisite: Instructor permission; additional specific requirements vary with topics.
CS 4630: Defense Against the Dark Arts
Credits: 3
Viruses, worms, and other malicious software are an ever-increasing threat to computer systems. There is an escalating battle between computer security specialists and the designers of malicious software. This course provides an essential understanding of the techniques used by both sides of the computer security battle. Prerequisite CS 3710 or CS 3501 topic "Introduction to Cybersecurity"
CS 4980: Capstone Research
Credits: 1–3
This course is one option in the CS fourth-year thesis track. Students will seek out a faculty member as an advisor, and do an independent project with said advisor. Instructors can give the 3 credits across multiple semesters, if desired. This course is designed for students who are doing research, and want to use that research for their senior thesis. Note that this track could also be an implementation project, including a group-based project. Prerequisite: CS 2150 with a grade of C- or higher
CS 4993: Independent Study
Credits: 1–3
In-depth study of a computer science or computer engineering problem by an individual student in close consultation with departmental faculty. The study is often either a thorough analysis of an abstract computer science problem or the design, implementation, and analysis of a computer system (software or hardware). Prerequisite: Instructor permission.
CS 4998: Distinguished BA Majors Research
Credits: 3
Required for Distinguished Majors completing the Bachelor of Arts degree in the College of Arts and Sciences. An introduction to computer science research and the writing of a Distinguished Majors thesis. Prerequisites: CS 2150 or CS 2501 topic DSA2 with a grade of C- or higher, and BSCS major
CS 6501: Special Topics in Computer Science
Credits: 3
Course content varies by section and is selected to fill timely and special interests and needs of students. See CS 7501 for example topics. May be repeated for credit when topic varies. Prerequisite: Instructor permission.
CS 6890: Industrial Applications
Credits: 1
A graduate student returning from Curricular Practical Training can use this course to claim one credit hour of academic credit after successfully reporting, orally and in writing, a summary of the CPT experience to his/her academic advisor.
CS 7501: Selected Topics in Computer Science
Credits: 3
Content varies based on the interest and needs of students. Topics may include safety critical systems, parallel processing, information retrieval, data communications, computer networks, real-time computing, distributed multimedia systems, electronic commerce, and advanced combinatorics and graph theory.. May be repeated for credit when topic varies. Prerequisite: Instructor permission.
CS 7993: Independent Study
Credits: 1–12
Detailed study of graduate course material on an independent basis under the guidance of a faculty member.
CS 7995: Supervised Project Research
Credits: 3
Formal record of student commitment to project research for the Master of Computer Science degree under the guidance of a faculty advisor.
CS 8897: Graduate Teaching Instruction
Credits: 1–12
For master's students who are teaching assistants.
CS 8999: Thesis
Credits: 1–12
Formal record of student commitment to thesis research for the Master of Science degree under the guidance of a faculty advisor. May be repeated as necessary.
CS 9897: Graduate Teaching Instruction
Credits: 1–12
For doctoral students who are teaching assistants.
CS 9999: Dissertation
Credits: 1–12
Formal record of student commitment to doctoral research under the guidance of a faculty advisor. May be repeated as necessary.

ACM Fellow 2008

IEEE Computer Society Taylor L. Booth Award 2008

NCR Faculty Innovation Award 1989