Dr. Andreas Wolf Computer Science Department Christian-Albrechts-University Kiel Olshausenstr. 40 24098 Kiel Germany

This is my former homepage; I've moved to the Institute of Medical Informatics and Statistics (if this is the correct translation ;-) )!!!

!!!Try the German version, generated by Google!!!

I'm a member of the Programming Languages and Compiler Construction group, but,...

actually, I'm engaged in the Verifix-Project, headed by Hans Langmaack, which aims at, say, "Verifying Compilers". You can follow this or this link to get some further information on this topic.

Yes, there are some publications available online...

My PGP Public Key and my Key Fingerprint can be found here.

The old link got lost but you can study Murphy's laws anyhow...

You really should have a look here!

My favourite engine:

More useful are the following links:

• LEO german-english dictionary
• The Virtual Museum of Computing
• dblp Computer Science Bibliography
• AltaVista
• Yahoo
• German call-by-call telephone rates
• German train connections

Some familiy pictures, not really up-to-date, but, never mind...

The postal address is shown above.

If you like to visit me, come to Christian-Albrechts-Platz 4, i.e. the tower block, and try to find room 712.

You can also use the numbers +49-431-880-7275 (phone) and +49-431-880-7613 (fax),

and you're invited to send me an 

If it's really urgent, you may try this address: