Richard
DeMillo

General Information

Email:
rad@gatech.edu
Phone:
4043854273
Location - Building:
Coda
Location - Room:
S1003
Roles:
Professor (any rank)
Primary Unit:
School of Cybersecurity and Privacy
Website URL
~richard-demillo

Details

Degrees with subject and Postdoc Experience:
Degree Type
Ph.D.
Subject
Information and Computer Science
Year
1972
Institution
Georgia Tech
Location
Atlanta
Degree Type
B.A.
Subject
Mathematics
Year
1969
Institution
University of St. Thomas
Location
St. Paul, MN
Statement of Research Interests:

Professor DeMillo works at the intersection of fundamental problems in digital technology and the public impact of those technologies. His research includes over 100 articles, books, and patents in software and computer engineering, cryptography, cyber security, and theoretical computer science. He is the co-inventor of cryptanalytic methods and software testing methods that are now standard in their fields. His 1979 paper “Social Processes and Proofs of Theorems and Programs” has been reprinted and translated dozens of times and was recently cited as one of the 50 most influential papers in computer science. 

Statement of Teaching Interests:

Professor DeMillo teaches graduate and undergraduate courses in computer science, education, business, and cybersecurity.  He regularly teaches an undergraduate course in cyber ethics and supervises research seminars in cybersecurity.

Selection of recent research, scholarly, and creative activities:

Richard A. DeMillo and Eugene H. Spafford. 2025. Grand Challenges in Trustworthy Computing at 20: A Retrospective Look at the Second CRA Grand Challenges Conference. Commun. ACM 68, 9 (September 2025), 54–61. https://doi.org/10.1145/3720534 J. Offutt and R. DeMillo, "Retrospective on: Constraint-Based Automatic Test Data Generation," in IEEE Transactions on Software Engineering, vol. 51, no. 3, pp. 754-758, March 2025, doi: 10.1109/TSE.2025.3535662.