Matematyk, logik i informatyk. Adiunkt w Zakładzie Informatyki Instytutu Matematyki Uniwersytetu Marii Curie-Skłodowskiej. Zajmuje się głównie matematycznymi podstawami informatyki oraz programowaniem funkcjonalnym i logicznym.
W swoich publikacjach zajmuje się matematycznymi podstawami informatyki i teorią obliczalności, filozoficznymi aspektami teorii obliczeń oraz interakcją pomiędzy matematyką a muzyką i teologią. Autor około pięćdziesięciu recenzowanych artykułów, uczestnik wielu międzynarodowych i krajowych konferencji. Pasjonat liturgii rzymskiej.