Prof. Dr. sc. nat. Klaus Bothe
Prof. Dr. sc. nat. Klaus Bothe
Lehr- und Forschungsgebiet Softwaretechnik
| Adresse: | Institut für Informatik Humboldt-Universität zu Berlin Unter den Linden 6 D-10099 Berlin |
| Sitz: | Rudower Chausse 25 D-12489 Berlin |
| Raum: | 4.201 |
| Telefon: | ++49 30 20933007 |
| Fax: | ++49 30 20933010 |
| E-Mail: | bothe@informatik.hu-berlin.de |
Arbeitsgebiete: Softwaretechnik, Compilerbau, Programmiersprachen
PublikationenAngaben zum wissenschaftlichen Werdegang:
- 1979 Promotion A zur Thematik 'Spezifikation und Verifikation abstrakter Datentypen'
- 1986 Promotion B zur Thematik 'Ein algorithmisches Interface für Pascal-Compiler: Compiler-Portabilität durch Modularisierung'
- September 1986 - Juli 1987 Forschungsaufenthalt am ungarischen Forschungszentrum SZKI in Budapest
- September 1991 - Februar 1992 Sonderforschungsstipendiat der Humboldt- Stiftung in Erlangen bei Prof. Stoyan
- Seit Dezember 1993 Professur für Softwaretechnik und Theorie der Programmierung an der Humboldt-Universität zu Berlin
- frühere Arbeitsgebiete:
-
- Theorie der Programmierung (Algebraische Spezifikation abstrakter Datentypen)
- Implementation prozeduraler Programmiersprachen (Compilertechnik)
- Logische Programmierung und Implementation von Prolog
- Wissensverarbeitung und Expertensysteme
