Studia matematyczne ukończył na Uniwersytecie Warszawskim. Stopień doktorski uzyskał w 1989 na podstawie pracy pt. Théorie de la descente pour les prétopos, przygotowanej pod kierunkiem prof. Gonzalo Edmundo Reyesa[7]. Habilitował się w 2003 na podstawie oceny dorobku naukowego i rozprawy pt. Modelowe uzupełnienia teorii równościowych pochodzących od logik zdaniowych[3].
Swoje prace publikował w takich czasopismach jak m.in. „Journal of Pure and Applied Algebra”, „Theory and Applications of Categories”, „Studia Logica”, „Fundamenta Informaticae” oraz „The Journal of Symbolic Logic”[8][9][10][11][12][13].
