- informatyk, absolwent Uniwersytetu Warszawskiego, stypendysta Université Catholique de Louvain. Przez ponad 20 lat zajmował się tworzeniem oprogramowania komputerowego. Autor wielu programów komputerowych. Jako szef działów programistyczno-wdrożeniowych kierował dostosowywaniem programów komputerowych do indywidualnych potrzeb klientów. Tworząc od podstaw departament wsparcia technicznego IT osobiście prowadził rekrutację i negocjował z pracownikami pakiety wynagrodzeń. Przez ponad 6 lat pełnił funkcje członka zarządu w firmach związanych z technologią IT. Autor wielu publikacji z zakresu sformalizowanej matematyki publikowanych w Formalized Mathematics. Członek Założyciel Stowarzyszenia Użytkowników Mizara. Członek Komisji Rewizyjnej Fundacji Instytut Rozwoju Regionalnego w Krakowie.