Über den Autor
Gerd Stolpmann hat von 1990 bis 1997 an der TU Darmstadt Informatik
studiert. Sein Schwerpunktinteresse liegt in der Fruchtbarmachung der
formalen Logik für praktische Zwecke. Seine Diplomarbeit geht
über das Thema "Schematische Konstruktion von Globalsuchalgorithmen"
mit dem Untertitel "Die Anwendung der intuitionistischen Typentheorie
als Basiskalkül des taktisch unterstützten Programmierens",
in dem ein spezieller Ansatz vorgetragen wird, wie man Programme
herstellt, deren Korrektheit durch formallogische Schlüsse
nachweisbar ist. Sei Oktober 1997 bin ich in der "freien Wirtschaft"
beschäftigt und zwar mit der Programmierung von geographischen
Datenbanken.
Ich bin über Mail erreichbar:
Gerd.Stolpmann@darmstadt.netsurf.de