Robert W. Peters Professor and Associate Dean for Undergraduate Studies (School of Engineering)
Dr. Davis joined the University in 1979, her dissertation "Generating Correct Programs From Logic Specifications" won the 1979 ACM Doctoral Forum Award for Outstanding Ph.D. Thesis in Computer Science. Her research has been focused in functional and logic programming, formal methods in software engineering, and more recently in efforts to increase the participation and impact of women in engineering. Her books include a whimsical though rigorous introductory computing book Thinking About TLC-Logo, with John Allen, and the textbook Truth, Deduction, and Computation. She serves on the steering committee of the Santa Clara University Center for Science, Technology, and Society, and as faculty advisor for the award-winning SCU student chapter of the Society of Women Engineers. Her activities to increase the participation of underrepresented groups in engineering include work with: the Summer Engineering Seminar at SCU, Women of Vision for the Tech Museum of Innovation, the Society of Women Engineers, GetSET, and the Institute for Women and Technology. She is also on advisory panels for AAUW's STEMplates Publication Dissemination Project, and for "Real Science!" - a local PBS series.
Logic programming, formal methods, software engineering, increasing participation and impact of women in engineering.
B.S., Santa Clara University M.S., San Jose State University Ph.D., University of California, Santa Cruz