Gert Smolka
Gert Smolka (born January 5, 1955 in Mannheim ) is a German computer scientist .
Life
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
- ↑ "Mortally injured" ( page no longer available , search in web archives ) Info: 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
personal data | |
---|---|
SURNAME | Smolka, Gert |
BRIEF DESCRIPTION | German computer scientist and university professor |
DATE OF BIRTH | 5th January 1955 |
PLACE OF BIRTH | Mannheim |