Reinhold Heckmann's Home Page

Since September 2000, I am working for AbsInt Angewandte Informatik GmbH in Saarbrücken (Germany).

From November 1999 till August 2000, I was Research Fellow at Imperial College of Science, Technology and Medicine in London. I was working in the Department of Computing in the group of Professor Abbas Edalat.

Until October 1999, I was a member of the Compiler Research Group (Professor Reinhard Wilhelm) in the Department of Computer Science of Saarland University in Saarbrücken (Germany).

Research Interests + Publications

• Domain Theory
• Equilogical Spaces and Convergence Spaces
• Exact Real Arithmetic
• Document Processing
• Functional Programming Languages
• Compiler Construction

Implemented Systems

• Functional Implementation of TeX's Formula Layout (SML)
• Interactive Interpreter for TrafoLa-H (C, SML)
• Generator for an ELL(2)-Parser with Syntax Tree Construction (Pascal)

Former  Teaching