Marek Zaionc

PRESENT:

Jaroslaw Duda
Jagiellonian University, Theoretical Science Science.

Katarzyna Grygiel
Jagiellonian University, Theoretical Science Science.

Jaroslaw Karpiak
Jagiellonian University, Theoretical Computer Science.

Mikolaj Pudo
Jagiellonian University, Theoretical Science Science.

PAST:

Jakub Kozik
Thesis: "Decidability of relative density in Chomsky hierarchy of languages" (PhD Thesis)
Jagiellonian University, Theoretical Computer Science, November 2006.
Malgosia Moczurad
Thesis: "Syntactic methods of proving properties of typed lambda calculus" (PhD Thesis)
Jagiellonian University, Computer Science Deptartment, 2000.