My main interest is logic. I received a doctorate in philosophy from the University of Iowa about a half-century ago. I had one paper published in the Journal of Symbolic Logic and then went into software development to earn a living.