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, Grota Roweckiego 26,  Krakow , Poland
phone (48 12) 664 6649
Fax (48 12) 664 6672 
email:


Office address: Krakow, Grota Roweckiego 26  room 3066, New Faculty building at new University campus.
More official homepage


RESEARCH AND TEACHING INTERESTS: 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)