Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Softwaretechnik

Prof. i. R. Dr. sc. nat. Klaus Bothe

Softwaretechnik


Adresse: Institut für Informatik
Humboldt-Universität zu Berlin
D-10099 Berlin
Sitz: Rudower Chausse 25, Raum 4.201
D-12489 Berlin-Adlershof
Telefon: ++49 30 20933007
E-Mail: bothe@informatik.hu-berlin.de

Spezielle Links

Vorlesungen WS 2015/16


Kurzbiographie:

  • 1979 Promotion zum Dr. rer. nat. 'Spezifikation und Verifikation abstrakter Datentypen'
  • 1986 Promotion zum Dr. sc./Habilitation 'Ein algorithmisches Interface für Pascal-Compiler: Compiler-Portabilität durch Modularisierung'
  • 1986 - 1987 Forschungsaufenthalt am ungarischen Forschungszentrum SZKI in Budapest: Implementation von Prolog, Expertensysteme
  • 1991 - 1992 Sonderforschungsstipendiat der Humboldt-Stiftung in Erlangen bei Prof. Stoyan: Logische Programmierung, Wissensverarbeitung
  • 1993 - 2016 Professur für Softwaretechnik und Theorie der Programmierung an der Humboldt-Universität zu Berlin
  • 2017 - 2019, 2022-2023 Projekte im Rahmen des DAAD-Programms "Hochschuldialog mit den Ländern des westlichen Balkans" sowie Kurse an Hochschulen Südosteuropas