imported>Jü: /* Leben */ Satzbau + Link

2024-08-26T17:26:11Z

Leben: Satzbau + Link

Neue Seite

'''Gert Smolka''' (* [[5. Januar]] [[1955]] in [[Mannheim]]) ist ein [[Deutschland|deutscher]] [[Informatik]]er.

== Leben ==
Smolka studierte Informatik an der [[Cornell University]] und an der [[Karlsruher Institut für Technologie|Universität Karlsruhe]], ebenda erhielt er 1982 sein Informatik-Diplom. 1989 wurde er an der [[Technische Universität Kaiserslautern|Universität Kaiserslautern]] [[Promotion (Doktor)|promoviert]]. 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_(Programmiersprache)|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.<ref>[https://web.archive.org/web/20160119170509/http://www.rp-online.de/panorama/bluttat-an-universitaet-student-schiesst-professor-nieder-aid-1.2049526 „Lebensgefährlich verletzt“], Meldung vom 18. Juni 2001, abgerufen am 23. Oktober 2010</ref>

== Schriften (Auswahl) ==
* {{Literatur
| Titel=Programmierung – eine Einführung in die Informatik mit Standard ML
| Verlag=Oldenbourg
| Ort=München
| Jahr=2008
| ISBN=978-3-486-58601-5
}}

== Weblinks ==
* [http://www.ps.uni-saarland.de/~smolka/ Gert Smolka auf der Website der Universität des Saarlandes]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=12182859X|LCCN=n/97/108186|VIAF=45167657}}

{{SORTIERUNG:Smolka, Gert}}
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (Universität des Saarlandes, Saarbrücken)]]
[[Kategorie:Deutscher]]
[[Kategorie:Geboren 1955]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Smolka, Gert
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=deutscher Informatiker und Hochschullehrer
|GEBURTSDATUM=5. Januar 1955
|GEBURTSORT=[[Mannheim]]
|STERBEDATUM=
|STERBEORT=
}}

Gert Smolka - Versionsgeschichte

imported>Jü: /* Leben */ Satzbau + Link