Skip to main content

Davis, Ruth

Education

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.

General Areas of Interests

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

ruth davis

Professor 

Email: rdavis@scu.edu

Distinguished Engineering Educator Award Logo - Ruth Davis