Jan Reiterman
Jan Reiterman was a Czech mathematician and computer scientist. He is best known for his contributions to categorical methods in algebra and the eponymous Reiterman's Theorem, which generalized Birkhoff's Variety Theorem to varieties of finite algebras.