Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science