(1964), doktor, matematyk, logik i informatyk, pracownik Instytutu Matematyki UMCS; w swoich publikacjach naukowych zajmuje się zagadnieniami logiki i teorii obliczalności oraz matematycznymi podstawami informatyki; filozoficznymi aspektami teorii obliczeń oraz interakcjami pomiędzy matematyką, filozofią, teologią i muzyką; od wielu lat przywiązany do tradycyjnej liturgii rzymskiej.