George F. McNulty

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.