Ruth E. Davis

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@scu.edu, or call 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.

Books:

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.

Selected papers:

"Practically Formal Methods." with Ronald L. Danielson. Proceedings of the 1996 International Conference Software Engineering: Education & Practice, Dunedin, New Zealand, January, 1996.

"Formal Specification and Advanced Data Structures."  Presented at the NSF sponsored workshop, Exploring Formal Methods in the Computer Science Curriculum, Stevens Institute of Technology, Hoboken, New Jersey, July, 1996.

"IMMPS: A Multimedia Presentation Design System."  with Timothy Shih. IEEE MultiMedia 4, 2 (1997), 67-78.

"A Rigorous Proof of Knuth's Binary to Decimal Conversion Algorithm." with Jinyun Xue. Software Concepts & Tools, 18, 4 (1997).

"Formal Specifications Guide Development and Testing of Software Components." Tamkang Journal of Science and Engineering, June 1999.

"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.

"Co-evolving Social Systems with Escalating Technological Change,'' STS Nexus, 1(2001):2, 14--18.

" 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.

 "Using 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, 1(2005), chaper 2.

"Work In Progress: Restructuring a Cornerstone COurse With Limited Resources,'' with Timothy Healy, Drazen Fabris, Mark Aschheim, and Timothy Urdan. Proceedings of the Frontiers  in Education Conference, sponsored by IEEE, IEEE-CS, and ASEE, San Diego, CA, October, 2006.

"Increasing Retention of Women Engineering Students,'' with Kieran Sullivan. Proceedings of the 2007 ASEE  Annual Conference and Exposition, Honolulu, HI, June, 2007.

 Center for Science, Technology, and Society

SCU Virtual Development Center

Classes:

Informational webpages exist for most of my current classes. Connect to the campus Angel system , and search for the class, or for me as instructor.

ENGR 001, Introduction to Engineering
COEN 070 , Formal Specification and Advanced Data Structures
Coen 129, 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 -

 Recognizing the achievements of Denice Denton

 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
 MECCA - 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"

E-mail: rdavis@scu.edu