Dr. Ulrich Hoffmann
![[his portrait]](uho.jpg)
Key fingerprint = D5DD 9FC4 E635 0E44 3EA9 F2BC F43E 3353 F81E BD03
Vortrag: Polymorphismus und seine Bedeutung in der Anwendung
- Heidelberg and
NexPress:
Frontend for digital color printing machines
- I'm employed as software engineer at Heidelberger
Druckmaschinen AG, Buisiness Unit Prepress in Kiel. In cooperation
with NexPress we are developing the front end software for their
digital color printing machine.
Topics I currently concentrate on:
CORBA,
Python,
UML,
Design Patterns
-
Verifix and VerComp:
Verified Compilers and their correct implementation
- Verifix is a compiler verification basic research joint
project of the Universities Karlsruhe, Kiel and Ulm. Its aim is
to develop techniques to prove the correctness of compilers for
realistic programming languages and on real hardware. This covers
verification of compiling specifications and of their implementation
in high level implementation language. For the verification of the
actual implementation in binary machine code the technique of
Bootstrapping and Doublechecking the result was
developed whithin the project VerComp by our reasearch
group at Kiel University. This is based on Rigorous
Syntactical Code Inspection and is topic of my PhD thesis.
- APPLY:
A Practical and Portable
Lisp Ymplementation
- From 1991 to 1994 our
group at Kiel Universtiy developed
CLiCC, a Common Lisp to C Compiler.
-
FORTH: Living in the ANS-Forth age!
-
Dr. Ulrich Hoffmann
email: Ulrich.E.Hoffmann@gmx.de
Tel: +49 431 386 1546 (business) ,
+49 4351 712 217 (private) ,
Fax: +49 4351 712 216 (private)
Ulrich.E.Hoffmann@gmx.de,
$Date: 2004/12/17 20:09:03 $