George F. McNulty 
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. 

