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
Office address: 30-348 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.
