Gert Smolka

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

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.

Er studierte Informatik an der Cornell University und an der Universität Karlsruhe, ebenda erhielt er 1982 sein Informatik-Diplom. 1989 promovierte an der Universität Kaiserslautern.

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] hält aber seine Tätigkeit am eigenen Lehrstuhl bis heute inne.

Literatur

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

Quellen

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