Leszek Aleksander Kołodziejczyk (ur. 24 października 1978) – polski logik i matematyk, doktor habilitowany nauk matematycznych, profesor uczelni w Instytucie Matematyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego. Specjalizuje się w logice matematycznej, zwłaszcza w teorii modeli i teorii dowodu teorii arytmetyki. Laureat nagrody E.W. Beth Dissertation Prize (2006), kierownik trzech projektów badawczych Narodowego Centrum Nauki.
Życiorys Studia matematyczne ukończył na Uniwersytecie Warszawskim w 2004. Stopień doktora filozofii uzyskał na Wydziale Filozofii i Socjologii UW w 2005 na podstawie pracy Truth Definitions and Higher Order Logics in Finite Models, napisanej pod kierunkiem Marcina Mostowskiego. Stopień doktora habilitowanego nauk matematycznych uzyskał w 2014 na Wydziale Matematyki, Informatyki i Mechaniki UW, na podstawie rozprawy Model-theoretic proofs of unprovability theorems in bounded arithmetic.
Na Wydziale Matematyki, Informatyki i Mechaniki UW pracował jako adiunkt, a następnie jako profesor uczelni w Instytucie Matematyki. Pełni funkcję wicedyrektora Instytutu Matematyki do spraw naukowych.