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.

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.