Helmut Brandl
Interests:
Go to this site to read some papers on lambda calculus. Lambda calculus is a fascinating topic because it is a model of computation. All computable functions can be expressed in lambda calculus.
How to write correct programs and know it?