Professor and Head of the
Foundations of Computer Science group. Mail address: Krakow, Gronostajowa 3,
Krakow , Poland
phone (48 12) 664 6783 Fax (48 12) 430-14-67
email: zaionc 'at' tcs 'dot' uj 'dot' edu 'dot' pl
Office address: Krakow, Gronostajowa 3 room 113, 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.
