Projects and Software
Research Project   Verifix: Correct Compilers. ( Verifix Kiel ) (1995 - ). DFG. German joint project on Correct Compilers (Univ. Karlsruhe, Univ. Kiel, Univ. Ulm). 
Research Project VIM: A Virtual Multicomputer for Symbolic Applications. (1994 - 1997). Research Network, EU Human Capability and Mobility Programme (HCM)
Research Project ProCoS : Provably Correct Systems I and II. (1989-1995). EU Esprit Basic Research Activity (BRA)
Research Project APPLY: A Practical and Portable Lisp Implementation. (1991-1994). BMFT. German joint project on Lisp (Fraunhofer ISST, VW-Gedas, GMD, Univ. Kiel), 
Research Project BABYLON: Knowledge Base Compilation. (1985-1990). Industrial cooperation with Dr.-Ing. Rudolf HELL GmbH Kiel (now Heidelberger Druckmaschinen, Kiel)
Software Software: CLiCC: The Common Lisp to C Compiler. 
Software Software: BCLiC: The BABYLON to Common Lisp Compiler.