Gert Smolka
Zur Navigation springen
Zur Suche springen
Gert Smolka (* 5. Januar 1955 in Mannheim) ist ein deutscher Informatiker.
Leben[Bearbeiten | Quelltext 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 | Quelltext bearbeiten]
- Programmierung – eine Einführung in die Informatik mit Standard ML. Oldenbourg, München 2008, ISBN 978-3-486-58601-5.
Weblinks[Bearbeiten | Quelltext bearbeiten]
Einzelnachweise[Bearbeiten | Quelltext bearbeiten]
- ↑ „Lebensgefährlich verletzt“, Meldung vom 18. Juni 2001, abgerufen am 23. Oktober 2010
| Personendaten | |
|---|---|
| NAME | Smolka, Gert |
| KURZBESCHREIBUNG | deutscher Informatiker und Hochschullehrer |
| GEBURTSDATUM | 5. Januar 1955 |
| GEBURTSORT | Mannheim |