I was born and grew up in Oklahoma City, where I attended Northwest Classen High School.
I went to college at Dartmouth, and to graduate school at Berkeley. At Berkeley I got a Ph.D. in math with my thesis in mathematical logic in 1973 on finite model theory.
I joined the IBM Research Division in 1973. I spent two years at the IBM Watson Research Center, and then transferred in 1975 to what is now the IBM Almaden Research Center in San Jose, California.
At IBM Almaden, I am manager of the Foundations of Computer Science group, which is part of the Computer Science Principles and Methodologies Department in the Computer Science Department.
I live in the charming town of Los Gatos, California.
I enjoy playing and watching sports.
My favorite college football team is the
Oklahoma
Sooners, winners of the 2000 national
championship.
I also root for the California
Golden Bears,
where I went to graduate
school (and where my youngest son Teddy is a student).
My favorite professional
football team is the
San Francisco 49ers.
Click here to see my wife Susan Fagin's home page.
Click here to return to my homepage.