Gert Smolka

deutscher Informatiker

Gert Smolka (* 5. Januar 1955 in Mannheim) ist ein deutscher Informatiker.

Leben Bearbeiten

Smolka studierte Informatik an der Cornell University und an der Universität Karlsruhe, ebenda erhielt er 1982 sein Informatik-Diplom. 1989 promovierte er an der Universität Kaiserslautern. Smolka hält seit 1990 einen Lehrstuhl an der Universität des Saarlandes, Fachrichtung Informatik, wo er auf dem Gebiet der Programmiersysteme lehrt und forscht. Einer seiner Schwerpunkte ist die Logik.

Zusammen mit seinen Studenten hat er die Programmiersprachen Oz und Alice entwickelt.

Am 18. Juni 2001 wurde Smolka auf dem Campus der Saar-Uni von einem seiner Studenten durch einen Bauchschuss lebensgefährlich verletzt.[1]

Schriften (Auswahl) Bearbeiten

  • Programmierung – eine Einführung in die Informatik mit Standard ML. Oldenbourg, München 2008, ISBN 978-3-486-58601-5.

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. „Lebensgefährlich verletzt“, Meldung vom 18. Juni 2001, abgerufen am 23. Oktober 2010