| |
|
Marek Zaioncprofessor
| phone: | (48 12) 664 6649 | | fax: | (+48-12) 664 66 72 | | email: |  | | office: | ul. Grota Roweckiego 26, 30-387 Kraków
| | room: | 3066 | | office hours: | Wednesday 14:00 - 16:00 room 3066 |
personal homepage
| 
|
| research interests |
| computability theory, computational logic, typed lambda calculus | | logic programming, logics of programs, functional programming. | | |
| selected publications |
| Rene David, Marek Zaionc,
"Random $S,K,I$ combinator is not strongly normalizable",
manuscript. | | Herve Fournier, Daniele Gardy, Antoine Genitrini, Marek Zaionc,
"Quantitative comparison of classical and intuitionistic logics of implication",
manuscript | | Rene David, Marek Zaionc, "Counting proofs in propositional logic", manuscript. | | Zofia Kostrzycka, Marek Zaionc
"Asymptotic densities in logic and type theory",
Studia Logica vol 88 (2008) pp385-403 | | Antoine Genitrini, Jakub Kozik, Marek Zaionc
"Intuitionistic vs. Classical Tautologies, Quantitative Comparison", Lecture Notes in Computer Science 4941, (2008) pp. 100-109. | | Lidia Badura, Marek Zaionc, "Parametrizability by regular expressions for equations on words",
Bulletin of the Section of Logic, Vol. 36:1/2 (2007) pp 79 - 93. | | Herve Fournier, Daniele Gardy, Antoine Genitrini, Marek Zaionc "Classical and intuitionistic logic are asymptotically identical", Computer Science Logic 2007, Lecture Notes in Computer Science 4646, pp 177-193.
| | Marek Zaionc, "Probability distribution for simple tautologies", Theoretical Computer Science, Vol. 355, Issue 2, 2006 pp. 243-260 | | Marek Zaionc, "Probabilistic approach to the lambda definability for fourth order types",
Electronic Notes in Theoretical Computer Science, vol 140 (2005) pp 41-54. | | Marek Zaionc, "On the asymptotic density of tautologies in logic of implication and negation", Reports on Mathematical Logic vol. 39 (2005), pp 67 - 87. | | Zofia Kostrzycka, Marek Zaionc, "Statistics of intuitionistic versus classical logics", Studia Logica, vol 76, (3) 2004, pp307 - 328. | | Marek Zaionc, "Statistics of implicational logic", Electronic Notes in Theoretical Computer Science, volume 84 ,(2003) | | Zofia Kostrzycka, Marek Zaionc, "On the density of truth in Dummet logic", Bulletin of the Section of Logic, vol. 32/1 (2003) pp 43-55. | | Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc, "Statistical properties of simple types"
Mathematical Structures in Computer Science, vol 10 (5) (2000), pp 575-594. | | Jan Malolepszy , Malgorzata Moczurad, Marek Zaionc, "Schwichtenberg style lambda definability is undecidable", Lecture Notes in Computer Science 1210, April 1997, pp267-283. | | Marek Zaionc, "Lambda representations of operations between different term algebras"
Lecture Notes in Computer Science 933, June 1995 pp 91 - 105. | | Marek Zaionc, "Lambda definability on free algebras", Annals of Pure and Applied logic 51 (1992) North-Holland, pp 279-300. | | Marek Zaionc, "A Characterization of Lambda Definable Tree Operations", Information and Computation Vol. 89, No. 1, 1990. Academic Press, pp 35-46 | | Marek Zaionc, "How To Define Functionals on Free Structures in Typed lambda Calculus", Lecture Notes in Computer Science 379 Springer - Verlag, August 1989, pp 566-576. | | Marek Zaionc, "On the lambda definable higher-order boolean functionals", Fundamenta Informaticae XII (1989) North-Holland, pp 181-190. | | Marek Zaionc, "On the lambda definable tree operations", Lecture Notes in Computer Science 425, Springer-Verlag, June 1988, pp 279-292. | | Marek Zaionc, "Mechanical Procedure for Proof Construction via Closed Terms in Typed lambda Calculus", Journal of Automated Reasoning 4 (1988), Reidel Publ, pp 173-190. | | Marek Zaionc, "The Regular Expression Descriptions of Unifier Sets in the Typed lambda Calculus", Fundamenta Informaticae X (1987) North-Holland pp 309-322. | | Marek Zaionc, "Word Operations Definable in the Typed lambda Calculus", Theoretical Computer Science 52 (1987) North-Holland pp 1-14. | | Marek Zaionc, "The set of Unifiers in Typed lambda calculus as Regular Expression", Lecture Notes in Computer Science 202, Springer-Verlag, May 1985, pp 430-440. | | Marek Zaionc, "Nondeterministic Programs Definable in Typed Lambda Calculus", Fundamenta Informaticae VIII.1 (1985) pp 63-72. | | Marian Mrozek, Marek Zaionc, "A computer model of evolution and ecological processes", Modeling, Simulation & Control C, vol 1 Nr. 3 1984 pp 59-63. | | Marian Mrozek, Marek Zaionc, "Simulation model of evolution in simplified ecological system",
Wiadomosci ekologiczne, vol. XXVII 1981 nr 1, pp 49-59, (In Polish, English summary) |
| some recent collaborators | |
| Rene David | Universite de Savoie, Chambery, France | | Daniele Gardy | Université de Versailles Saint-Quentin, France |
| short cv |
| | | | | 1977 | Master of Science in Mathematics | Jagiellonian University | Krakw, Poland | | 1985 | PhD in mathematics | University of Warsaw | Warsaw, Poland | | 1986 | 1986-1988, visiting prof. at Department of Computer Science | The University of Alabama | Birmingham, USA | | 1993 | Habilitation | Jagiellonian University | Krakow, Poland. | | 1994 | Visiting Professor | Technical University of Athens | Athens, Greece. | | 1994 | Visiting Professor, Computer Science Department, | Institute National des Tellecommunications | Paris, France. | | 1995 | One month visit at Mathematics Department | University of Swansea | Swansea, UK | | 1995 | Visiting Professor, Computer Science Department, | University of Buffalo, | Buffalo, New York, USA | | 2002 | One month visit at Computer Science Department, | L Ecole Normale Superieure, | Lyon, France. | | 2003 | Deputy dean of the Faculty of Mathematics and Computer Science. | Jagiellonian University | Krakow, Poland. | | 2006 | Professor of Mathematical Sciences | Jagiellonian University | Krakow, Poland | | 2006 | Visiting prof. at Computer Science Department, | Universite de Versailles, | France. | | 2007 | One month visit at Mathematics Department at | Universite de Savoie | Chambery, France | |
|
