|
Ruth Davis
B.S. Mathematics, Santa Clara University More detailed C.V. Office Hours: Spring '02 : Tues 9:15 - 11:00am, Friday 11:45 - 12:45. 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. Books: Thinking About TLC-Logo,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." 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." IEEE MultiMedia 4, 2 (1997), 67-78. "A Simple Program Whose Derivation and Proof is Also." Proceedings of the First IEEE International Conference on Formal Engineering Methods, Hiroshima, Japan, November, 1997. "A Rigorous Proof of Knuth's Binary to Decimal Conversion Algorithm." 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." Proceedings of the SWE National Conference, Washington, D.C., June, 2000. "Spreadng the Seeds of STEM Programs for Girls." Proceedings of the Grace Hopper Celebration of Women in Computing Conference, Cape Cod, MA, September, 2000.
|
|
Upcoming Events
 |
 |
