Logo - Fakultät für Mathematik und Informatik Illustration

apl. Prof. Dr. Bernhard Heinemann

Bernhard Heinemann
E-Mail: bernhard.heinemann
Telefon: +49 2331 987 - 2714
Fax: +49 2331 987 - 339
Sprechzeiten: Mittwoch, 10 - 12 Uhr
Raum: H 07 3 IZ

Lebenslauf

Februar 1976 Diplom in Mathematik, Universität Bonn
Februar 1982 Promotion zum Dr. rer. nat., Universität Konstanz
Februar 1984 - April 1984 Forschungsaufenthalt an der Universität von Campinas (Brasilien) und am IMPA (Rio de Janeiro)
März 1985 - August 2008 FernUniversität in Hagen, Lehrgebiet Berechenbarkeit und Logik
Wintersemester 1997/98 Lehrstuhlvertretung (C4) an der Universität Duisburg
März 1998 Habilitation im Fach Informatik, FernUniversität in Hagen
Juni 1998 Antrittsvorlesung, Privatdozent
Juli 2003 außerplanmäßiger Professor
seit September 2008 FernUniversität in Hagen, Lehrgebiet Algorithmen und Komplexität
seit August 2013 Professurvertretung LG Algorithmen und Komplexität
seit Januar 2016 im Ruhestand; Lehrbeauftragter "Logik für Informatiker"

Forschungsschwerpunkte

  • Logik in der Informatik
  • Modale Logik und ihre Erweiterungen
  • Wissenslogik
  • Spatiale und temporale Logiken

Abschlussarbeiten

Publikationen

Veröffentlichungen

Bücher

Buchbeiträge

Artikel in Zeitschriften

Technische Berichte

Konferenzbandbeiträge

Dissertationen

Sonstiges

Bernhard Heinemann | 28.11.2016
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823