Dirk Siefkes
Dirk Siefkes (* 16. April 1938 in Dessau; † 19. März 2016) war ein deutscher Mathematiker und Informatiker.
Leben
BearbeitenDirk Siefkes studierte Mathematik in Heidelberg und promovierte dort 1969 bei Gert Heinz Müller[1] über entscheidbare Probleme in der monadischen Prädikatenlogik zweiter Stufe. 1970 und 1971 lehrte er als Assistant Professor an der Purdue University Informatik. 1973 gehörte er zu den Gründungsmitgliedern des Fachbereichs Informatik an der TU Berlin und leitete dort das Fachgebiet Theoretische Informatik, Algorithmik und Logik bis zu seiner Emeritierung 2003.[2] Von 1993 bis 1997 war er Sprecher des Interdisziplinären Forschungsprojekts Sozialgeschichte der Informatik.
Dirk Siefkes war langjähriges Vorstands- und dann Beiratsmitglied des Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung e. V. (FIfF).[3][4]
Schüler
Bearbeiten- Albrecht Hoene, Promotion TU Berlin
- Klaus-Jürgen Werner, TU Berlin
- Ralf Kutsche, TU Berlin
- Clemens Lautemann, TU Berlin 1983
- Gerhard Buntrock, TU Berlin 1984
- Arfst Nickelsen, TU Berlin 1999
- Till Tantau, TU Berlin 2003
Werke
Bearbeiten- Büchi's Monadic Second Order Successor Arithmetic. Berlin, Heidelberg, New York: Springer 1970.
- Formalisieren und Beweisen. Braunschweig, Wiesbaden: Vieweg 1990. ISBN 3-528-04757-7
- Formale Methoden und kleine Systeme: lernen, leben und arbeiten in formalen Umgebungen. Braunschweig, Wiesbaden: Vieweg 1992. ISBN 978-3-528-05199-0
Weblinks
Bearbeiten- Literatur von und über Dirk Siefkes im Katalog der Deutschen Nationalbibliothek
- Dirk Siefkes ( vom 29. Juni 2009 im Internet Archive) Homepage an der TU Berlin
- Publikationen zur kulturellen Theorie der Informatik (77 Einträge) ( vom 24. Februar 2008 im Internet Archive)
- Publikationen zur Theoretischen Informatik (14 Einträge) ( vom 24. Februar 2008 im Internet Archive)
- Publikationen zur Mathematischen Logik (18 Einträge) ( vom 24. Februar 2008 im Internet Archive)
- IFP Sozialgeschichte der Informatik ( vom 29. Juni 2009 im Internet Archive)
Einzelnachweise
Bearbeiten- ↑ Dirk Siefkes im Mathematics Genealogy Project (englisch)
- ↑ Christian Thomsen, Odej Kao, Rita Süssmuth: "Wir trauern um Herrn Prof. em. Dr. Dirk Siefkes", offizielle Traueranzeige der TU Berlin im Tagesspiegel, 3. April 2016. Abgerufen am 14. Juli 2024.
- ↑ FIfF: "FIfF-Kommunikation 1/2016 erschienen". Webseite des FIfF, ohne Datum. Abgerufen am 14. Juli 2024.
- ↑ FIfF: "Trauer um Dirk Siefkes" ( vom 4. April 2016 im Internet Archive), Todesanzeige auf der Homepage des FIfF in der Version vom 4. April 2016. Abgerufen am 14. Juli 2024.
| Personendaten | |
|---|---|
| NAME | Siefkes, Dirk |
| KURZBESCHREIBUNG | deutscher Mathematiker und Informatiker |
| GEBURTSDATUM | 16. April 1938 |
| GEBURTSORT | Dessau |
| STERBEDATUM | 19. März 2016 |