B.S. Mathematics, Santa Clara University
M.S. Mathematics, San Jose State University
Ph.D. Information Sciences, University of California, Santa Cruz
More detailed C.V.
Office Hours: Send email to rdavis-AT-scu-DOT-edu, or call (408) 554-4358.
General areas of interest: formal methods in software engineering (particularly formal specification), logic programming, functional programming, logic and semantics of languages, societal impact of computing technologies (particularly issues of access and interface), computer science and software engineering education, and increasing the diversity of the engineering workforce.
Thinking About TLC-Logo, with John Allen.CBS College Publishing,Holt, Rinehart, and Winston, 1983.
Truth, Deduction, and Computation: Logic and Semantics for Computer Science, Computer Science Press, 1989.
"Improving the Diversity of Our Technology Workforce." explore, 4, 1 (2000).
"Designing Women: Perspective's from Technology's Powerful Distaff Side," with Melissa McClaren. Proceedings of the SWE National Conference, Washington, D.C., June, 2000.
"Spreading the Seeds of STEM Programs for Girls." Proceedings of the Grace Hopper Celebration of Women in Computing Conference, Cape Cod, MA, September, 2000.
Social Systems with Escalating Technological Change,'' STS Nexus,
"Motivating Women Engineering Students through Community-Based Projects.'' Proceedings of the 2003 ASEE Annual Conference and Exposition, Nashville, TN, June, 2003.
"Software: Craft, Science, and Engineering." with John R. Allen. Proceedings of the 2003 ASEE Annual Conference and Exposition, Nashville, TN, June, 2003.
Social Relevance to Recruit and Retain Minority and Women Engineers." Proceedings
of the International Conference on Engineering and Education and Research,
Olomouc, Czech Republic, June 27-30, 2004.
" Community-based Learning Develops Diverse Engineering Workforce. " Innovations 2005 - Special Edition: World Innovations in Engineering Education and Research, Begell House Publishing, Arlington, VA, 2005, 7 -- 16.
Community-based Learning Develops Diverse Engineering Workforce.
Special Edition: World Innovations in Engineering Education and Research, Begell
House Publishing, Arlington, VA, 2005, 7 -- 16.
"Increasing Retention of Women Engineering Students," with Kieran Sullivan. Proceedings of the 2007 ASEE Annual Conference and Exposition, Honolulu, HI, June, 2007.
"Why Do/Don't They Stay: Preliminary Results of an Engineering Retention Study," with Kieran Sullivan. Proceedings of the International Conference on Engineering Education and Research, Melbourne, Australia, December 2--7, 2007.
"Visualization of Procedural Abstraction," with Stefan Schaekeler and Weijia Shang. Proceedings of the Fifth Program Visualization Workshop, Madrid, Spain, July 3--4, 2008.
"Community-Based Projects Provide Motivation, Experience, and Opportunity for Global Collaboration," with Patti Fylling Rimland, Drazen Fabris, Tim Healy, and Mark Aschheim. Proceedings of the 7th ASEE Global Colloquium on Engineering Education, Cape Town, South Africa, October 19-23, 2008.
Center for Science, Technology, and Society
SCU Virtual Development Center
Informational webpages exist for most of my current classes. Connect to the campus
Camino course management system, and search for the class, or for me as instructor.
COEN 001, Understanding Digital Technologies
COEN 070 , Formal Specification and Advanced Data Structures
COEN 129 (now ENGR 110), VDC Community-Based Project
COEN 172, Structure and Interpretation of Computer Programs
COEN 173, Logic Programming
COEN 260, Truth, Deduction, and Computation
COEN 385, Formal Methods in Software Engineering
ENGR 1, Introduction to Engineering
Summer Engineering Seminar - program to introduce underrepresented groups to engineering. This special summer experience is for high school students who have an interest in science, mathematics, and engineering. The program is designed to acquaint participants with the engineering profession, the academic expectations of college, and the nature of life at a university. Two sessions are held each the summer, usually in August. See the website for details.
Women in Computing -
Anita Borg Institute for Women and Technology
MentorNet - the e-Mentoring network
for women in Engineering and Science
ACM's Committee on Women in Computing
IEEE Women in Engineering Committee
Society of Women Engineers - the international organization
and Santa Clara Univerisity Society of Women Engineers - the Santa Clara University Student Chapter
SYSTERS - the web home of systers, a communication and information system for women in computing.
TAP: The Ada Project - "Tapping Internet resources for women in computer science"