Posiada tytuł profesora nauk matematycznych. Zatrudniony jest na Wydziale Matematyki Politechniki Wrocławskiej. Habilitację obronił na Uniwersytecie Wrocławskim, a tytuł doktora nauk matematycznych uzyskał w Polskiej Akademii Nauk. Absolwent Uniwersytetu Wrocławskiego. Zdobywał doświadczenie zawodowe w takich ośrodkach naukowych, jak: Vanderbilt University (Nashville, USA), Polska Akademia Nauk, Technische University (Darmstadt, Niemcy), The University of Manitoba (Winnipeg, Kanada), Blaise Pascal University (Clermont-Ferrand, Francja). Posiada doświadczenie jako członek rad nadzorczych. 

Jest autorem ponad 85 publikacji naukowych w zagranicznych pismach z zakresu matematyki, logiki i informatyki oraz książek (np. „Sztuczna inteligencja i logika”, „Wprowadzenie do informatyki”). Jest także autorem wielu opinii, recenzji i ekspertyz, m.in. dla Narodowego Centrum Nauki, Komisji Europejskiej. Zawodowo zainteresowany zastosowaniem matematyki, logiki i informatyki w praktyce, sztuczną inteligencją, business intelligence, informatyzacją, teorią argumentacji.

Niezależny członek Rady Nadzorczej.