Reinhard Kahle is a professor at the Universidade de Coimbra with special interests in proof theory, logic programming, functional programming, intensionality, and the history of logic. He has published several papers and edited three books on these subjects.