Gert Smolka

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

Leben

Smolka studierte Informatik an der Cornell University und an der Universität Karlsruhe, ebenda erhielt er 1982 sein Informatik-Diplom. 1989 wurde er an der Universität Kaiserslautern 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 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>„Lebensgefährlich verletzt“, Meldung vom 18. Juni 2001, abgerufen am 23. Oktober 2010</ref>

Schriften (Auswahl)

• {{#invoke:Vorlage:Literatur|f}}

Weblinks

• Gert Smolka auf der Website der Universität des Saarlandes

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 12182859Xn/97/10818645167657 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 12182859X | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 12182859X | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/97/108186 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/97/108186 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 45167657 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 45167657 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Smolka, Gert | {{#if: | {{#if: deutscher Informatiker und Hochschullehrer | {{#if: 5. Januar 1955 | {{#if: Mannheim | {{#if: | {{#if: |