Employment History

UT Austin Department of Computer Sciences
The University of Texas at Austin
  • Admiral  B.R. Inman Centennial Chair in Computing   Theory, 1997-Present.
  • Gottesman Family Centennial Professor, 1985-88.
  • Associate Professor, 1981-84 .
CLI Computational Logic, Inc.
Austin, TX.
  • Chief Scientist, 1987-96.
  • Founder and Member of Board of Directors - 1983 to present.
SRI CSL Computer Science Laboratory
SRI International
Menlo Park, CA.
  • Staff Scientist, 1981.
  • Senior Research Mathematician, 1979-81.
  • Research Mathematician, 1976-78.
Xerox PARC Computer Science Laboratory,
Xerox Palo Alto Research Center
Palo Alto, CA.
  • Research Mathematician, 1973-76.
Edinburgh Department of Computational Logic
University of Edinburgh
Edinburgh, Scotland
  • Research Fellow, 1973.
  • Programmer, 1971-72.

Return to:  home page.