Theoretical Computer Science
    Jagiellonian University
    Faculty of Mathematics and Computer Science

            Marek Zaionc

Professor and Head of the Foundations of Computer Science group.
Mail address: Krakow, Lojasiewicza 6,  Krakow , Poland
phone (48 12) 664 6649
Fax (48 12) 664 6672 email:


Office address: Krakow, Lojasiewicza 6  room 3066, new University campus.
More official homepage

RESEARCH AND TEACHING INTERESTS: asymptotic probability in logic, computability theory, computational logic, typed lambda calculus, lambda definability, automated theorem proving, logic programming, logics of programs, functional programming.

PUBLICATIONS

CONFERENCES

COLLABORATORS

      LECTURES (in Polish)

PICTURES

GRANTS

SHORT CV

PhD students

INFORMATION for students (in Polish)