Ruth E. Davis

This article is about the American computer scientist. For the American actress, see Bette Davis.

Ruth Ellen Davis is an American computer scientist whose research has focused on formal specification in software engineering, logic programming, and functional programming. She is a professor in the Computer Science and Engineering Department at Santa Clara University.[1]

Education and career

Davis was an undergraduate at Santa Clara University, where she received her bachelor's degree in 1973. After a 1976 master's degree from San Jose State University, she completed her Ph.D. in 1979 at the University of California, Santa Cruz.[2] Her dissertation, Generating Correct Programs from Logic Specifications, was supervised by Sharon Sickel.[3]

She was hired as an assistant professor at Santa Clara University in 1979, becoming the university's first female tenure-track faculty member in engineering.[4] She was promoted to associate professor in 1986 and to full professor in 1994. She served as associate dean for undergraduate studies in engineering beginning in 2003. She held the Robert W. Peters Endowed Professorship in Engineering from 2004 to 2009 and was given the Lee and Seymour Graff Professorship and University Endowed Chair in 2009.[2] In 2024 she stepped down as associate dean.[5]

Recognition

Davis received the 1980 Association for Computing Machinery (ACM) Doctoral Dissertation Award.[6] She was named as an ACM Distinguished Scientist in 2006,[2] and as a Distinguished Engineering Educator of the Society of Women Engineers in 2020.[4]

References

  1. ^ "Davis, Ruth", School of Engineering Faculty, Santa Clara University, retrieved 2026-02-11
  2. ^ a b c Curriculum vitae (PDF), Santa Clara University, retrieved 2026-02-11
  3. ^ Davis, Ruth E. (1979), Generating Correct Programs from Logic Specifications (Ph.D. thesis), University of California, Santa Cruz, retrieved 2026-02-11 – via DTIC
  4. ^ a b Williams, Heidi (22 September 2020), "Ruth Davis Receives SWE Distinguished Engineering Educator Award", School of Engineering Stories, Santa Clara University, retrieved 2026-02-11
  5. ^ "Empowering Diversity: Dr. Ruth Davis's Impact on Engineering at Santa Clara University", School of Engineering Stories, Santa Clara University, 15 May 2024, retrieved 2026-02-11
  6. ^ "Ruth E. Davis", Award Recipients, ACM, retrieved 2026-02-11
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.