1996 - Ph.D., Second order quantifiers in intuitionistic logic. University of Silesia, Katowice. Supervisor: prof. Piotr Wojtylak.
1990 - M.Sc., Provability logic. University of Silesia, Katowice. Supervisor: prof. Piotr Wojtylak.
1990-1996 - Assistant, University of Silesia, Institute of Mathematics..
1996-2018 - Assistant Professor, University of Silesia, Institute of Mathematics.
2003/2004 - Visiting Professor, Department of Mathematics, University of Puerto Rico, Mayaguez, USA.
since 2018 - Associate Professor, University of Silesia, Institute of Mathematics.
since 2006 - Co-organizer of the annual conference Applications of Logic in Philosophy and the Foundations of Mathemetatics.
since 2011 - Head of the Section of Mathematical Logic at Institute of Mathematics, University of Silesia in Katowice.
since 2012 - Deputy Dean of Faculty of Mathematics, Physics and Chemistry, University of Silesia in Katowice.
since 2016 - Expert of The Polish Accreditation Committee (PKA).
since 2018 - Member of Program and Buisness Council of Institute of Mathematics, University of Silesia.
since 2018 - Juror of Alfred Tarski Logic Prize.