Curriculum Vitae

dr hab. Tomasz Połacik

• 2009 - Habilitation, Kripke models for intuitionistic first-order theories. University of Silesia, Katowice. Reviewers: dr hab. M. Kandulski, prof. dr hab. L. Newelski, prof. dr hab. P. Urzyczyn, prof. dr hab. M. Zaionc.

• 1996 - Ph.D., Second order quantifiers in intuitionistic logic. University of Silesia, Katowice. Supervisor: doc. dr hab. P. Wojtylak. Reviewers: dr hab. P. Idziak, prof. dr hab. J. Kotas.

• 1990 - M.Sc., Provability logic. University of Silesia, Katowice. Supervisor: doc. dr hab. P. Wojtylak.

• since 1996 - Assistant Professor (adiunkt) at Institute of Mathematics, University of Silesia.

• 2003/2004 - Visiting Professor at Department of Mathematics, University of Puerto Rico, Mayaguez, USA.