I received my B.A. (1972) and Ph.D. (1980) in mathematics from the University
of California at Berkeley. My area of specialty was mathematical logic. From
1980 to 1982 I did post doctoral work at the University of Colorado in Boulder.
After a brief period as visiting professor at Ohio State University. I came to the
San Jose State Math Department in 1983.

From 1986 to 1990 I divided my time between teaching mathematics and
computer science at San Jose State and developing a programming language for a
small start-up company called Silma.

I spent 1991 as a Fulbright Lecturer in Computer Science at the University
of Zimbabwe . I returned to University of Zimbabwe
as external examiner in 1993, 1994, and 1995. In the summer of 1996 I was a
visiting professor of Computer Engineering at Bosphorus
University in Istanbul.

From 1997 to 1998 I developed Computer-Telephony applications in Java for a
small start-up company called Capri Systems. I also answered Java questions at
inquiry.com and gave lectures on design patterns to local companies.

I spent the fall of 2001 as a Fulbright Lecturer in Computer Science at Colombo and PeradeniyaUniversities in Sri Lanka. I
returned to Sri Lanka
as a Senior Fulbright Specialist in the winter of 2004, summer of 2005, and
winter of 2006. I was a Senior Fulbright Specialist in summer of 2006 at the
American University of Armenia. I returned to the AmericanUniversity
in summer 2007. That summer also marked the start of my involvement with the Summer University Program, which has
taken me and a group of students to Switzerland almost every summer
since.

From Fall 2010 to Spring 2014 I was the department
chair.

I live in Santa Cruz; I write and travel as much as possible. My interests
include object-oriented modeling, multi-agent systems, functional programming,
logic, cognitive science, complexity science, and philosophy.