He has nearly 40 years of experience in teaching and research. A large part of his research has been in the theory of topological groups, but he has also made significant contributions to the emerging theory of free paratopological groups, to the study of the geometry of metric spaces and to applications of mathematics and formal logic in computer science.