Connu pour ses travaux sur les structures algébriques, avec notamment la résolution de divers problèmes de décidabilité. Il disparut brutalement à l’âge de 57 ans alors qu’il participait à une conférence mathématique.