Ü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