Fellow
Denmark – 1998
CITATION

For outstanding contributions to semantics-directed compilation, especially partial evaluation, and to the theory of computation, formal models and their practical realization.