(B.Sc.,
Harvey Mudd College, 1967)
(Ph.D.,
Berkeley, 1972)
Algebra, Logic, and Discrete Mathematics.
The central themes of my research lie at the confluence of algebra , logic and computer science. They include finite axiomatizability of equational classes of algebras, structural properties of the lattices of equational theories, and effective computability in algebraic and combinatorial structures.