Dirk Siefkes
Dirk Siefkes (born April 16, 1938 in Dessau ; † March 19, 2016 ) was a German mathematician and computer scientist.
Life
Dirk Siefkes studied mathematics in Heidelberg and did his doctorate there in 1969 under Gert Heinz Müller on decidable problems in the second level monadic predicate logic . In 1970 and 1971 he taught computer science as an assistant professor at Purdue University . In 1973 he was one of the founding members of the Department of Computer Science at the TU Berlin , where he headed the Department of Theoretical Computer Science, Algorithms and Logic until his retirement in 2003. From 1993 to 1997 he was the spokesman for the interdisciplinary research project Social History of Computer Science .
Works
- Büchi's Monadic Second Order Successor Arithmetic. Berlin, Heidelberg, New York: Springer 1970.
- Formalize and Prove. Braunschweig, Wiesbaden: Vieweg 1990. ISBN 3-528-04757-7
- Formal methods and small systems: learn, live and work in formal environments. Braunschweig, Wiesbaden: Vieweg 1992. ISBN 978-3-528-05199-0
Web links
- Dirk Siefkes ( memento from June 29, 2009 in the Internet Archive ) Homepage at the TU Berlin
- IFP Social History of Computer Science ( Memento from June 29, 2009 in the Internet Archive )
Individual evidence
- ↑ Dirk Siefkes in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Siefkes, Dirk |
| BRIEF DESCRIPTION | German mathematician and computer scientist |
| DATE OF BIRTH | April 16, 1938 |
| PLACE OF BIRTH | Dessau |
| DATE OF DEATH | 19th March 2016 |