1990 - magisterium, Logika dowodliwo¶ci. Uniwesytet ¦l±ski, Katowice. Promotor: prof. Piotr Wojtylak.
1996 - doktorat, Kwantyfikatory rzędu drugiego w logice intucjonistycznej. Uniwesytet ¦l±ski, Katowice. Promotor: prof. Piotr Wojtylak.
2009 - habilitacja, Modele Kripkego dla intuicjonistycznych teorii pierwszego rzędu. Uniwersytet ¦l±ski.
1990-1996 - asystent, Instytut Matematyki Uniwersytetu ¦l±skiego w Katowicach.
1996-2018 - adiunkt, Instytut Matematyki Uniwersytetu ¦l±skiego w Katowicach.
2003/2004 - Visiting Professor w: Department of Mathematics, University of Puerto Rico, Mayaguez, USA.
od 2018 - profesor nadzwyczajny, Instytut Matematyki Uniwersytetu ¦l±skiego w Katowicach.
od 2006 - współorganizator konferencji Applications of Logic in Philosophy and the Foundations of Mathemetatics znanej jako Karpacz w Szklarskiej Porębie.
od 2011 - Kierownik Zakładu Logiki Matematycznej w Instytucie Matematyki Uniwersytetu ¦l±skiego w Katowicach.
od 2012 - Prodziekan kierunku Matematyka na Wydziale Matematyki, Fizyki i Chemii Uniwersytetu ¦l±skiego w Katowicach.
od 2016 - Ekspert merytoryczny Polskiej Komisji Akredytacyjnej.
od 2018 - Członek Rady Programowo-Biznesowej Instytutu Matematyki U¦.
od 2018 - Członek jury konkursu Alfred Tarski Logic Prize.