Posiada tytuł profesora nauk matematycznych. Zatrudniony jest na Uniwersytecie Wrocławskim, na Wydziale Matematyki i Informatyki. 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), Politechnika Wrocławska. Posiada doświadczenie jako członek rad nadzorczych. Jest autorem ponad 60 publikacji naukowych w zagranicznych pismach z zakresu matematyki, logiki i informatyki oraz licznych książek (np. „Sztuczna inteligencja i logika”, „Wprowadzenie do informatyki” itd.). 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.