| May 2006, | Professor of Mathematical Sciences. | |||
| January 1993, | Habilitation in Philosophy and Mathematical Logic at Faculty of Philosophy of Jagiellonian University, Krakow, Poland. Title of dissertation: "Lambda Representability". | |||
February 1985, |
Doctor of Computer Science at Faculty of Mathematics and Computer Science of University of Warsaw, Poland. Title of dissertation: "Term grammars in typed lambda calculus", promotor prof. Stanislaw Waligorski. | |||
June 1977, |
Master of Science in mathematics at Mathematics Department of Jagiellonian University, Krakow, Poland. Title of thesis "Axiomatization of m-valued Post logic" promotor prof. Stanislaw Surma. |
| 2010 - present | Full (ordinary) Professor, Faculty of Mathematics and Computer Science, Jagiellonian University, Kraków, Poland. |
| September 2009 - September 2013 | Full (ordinary) Professor, Institute of Mathematics, University of Silesia in Katowice, Poland, (secondary appointment). |
| June - July 2007 | Visiting Professor at Computer Science Department, University of Savoy, Chambery, France. |
| September 2006 | Visiting Professor at Computer Science Department, Universite de Versailles, France. |
| September 2003 - August 2008 | Deputy dean of the Faculty of Mathematics and Computer Science |
| September 2002 | One month visit at Computer Science Department, L'Ecole Normale Superieure de Lyon, France. |
| June 1995 | One month visit at Mathematics Department, University of Swansea, U.K. |
| January - May 1995 | Visiting Professor, Computer Science Department, University of Buffalo, New York. |
| May - July 1994 | Visiting Professor, Computer Science Department of Institute National des Tellecommunications, Paris, France. |
| February - April 1994 | Visiting Professor, Technical University of Athens, Greece. |
| March 1986 - June 1988 | Visiting Professor, The University of Alabama at Birmingham, Department of Computer and Information Sciences, USA. |
| March - May 1981 | Scholarship at The Math. Department of the University of Leningrad, USSR. |
| September 1977 - May 1985 | Teaching and Research Assistant Professor, Computer Science Department, Jagiellonian University. |