Gert Smolka

from Wikipedia, the free encyclopedia

Gert Smolka (born January 5, 1955 in Mannheim ) is a German computer scientist .


Smolka studied computer science at Cornell University and at the University of Karlsruhe , where he received his computer science diploma in 1982. In 1989 he received his doctorate from the University of Kaiserslautern . Since 1990 Smolka has held a chair at Saarland University , specializing in computer science , where he teaches and researches in the field of programming systems. One of his main focuses is logic .

Together with his students he developed the programming languages Oz and Alice.

On June 18, 2001, Smolka was fatally injured by one of his students on the Saar University campus when he was shot in the stomach.

Fonts (selection)

  • Programming - An Introduction to Computer Science with Standard ML . Oldenbourg, Munich 2008, ISBN 978-3-486-58601-5 .

Web links

Individual evidence

  1. "Mortally injured"  ( page no longer available , search in web archivesInfo: The link was automatically marked as defective. Please check the link according to the instructions and then remove this notice. , Notification dated June 18, 2001, accessed October 23, 2010@1@ 2Template: Dead Link /