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: 30-348 Krakow, Lojasiewicza 6,  Krakow , Poland
     phone (48 12) 664 6649, Fax (48 12) 664 6672, email:  
    

     Office address: 30-348 Krakow, Lojasiewicza 6  room 3066, University campus.
     More official homepage                     Mathematics Genealogy Project

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)

Last update: 23-05-2017