Bryan Higman

• Applied group-theoretic and matrix methods