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