Campusleben_HAW_Hamburg_3

Lehrende_HAW_Hamburg_15

Studierende_HAW_Hamburg_1

Informationen für:

Aktuell

Informationen zur Lehre sowie alle Unterlagen zu den Lehrveranstaltungen befinden sich in EMIL.

 
| zurück... |

Prof. Dr. Michael Köhler-Bußmeier

Fakultät Technik und Informatik
Department Informatik
Professor für Theoretische Informatik und Diskrete Mathematik
Berliner Tor 7
20099 Hamburg
Raum 11.80a
michael.koehler-bussmeier(@)haw-hamburg.de
Sprechzeiten: Nach Vereinbarung (per E-Mail).

Ämter/Gremien

 

     

  • Forschungsausschuss (Fakultät TI), Stellvertreter 
  • Vertrauensausschuss (Fakultät TI), Stellvertreter
  •  

Lehrgebiete/Lehrfächer

Mathematische Grundlagen, Theorie formaler Sprachen, Berechenbarkeitstheorie, Logik, Petrinetze, Prozessalgebra, Algorithmik, Komplexitätstheorie, Graphentheorie, Spezifikationstechniken

Schwerpunktthemen/Kernkompetenzen

Formale Spezifikation, Logik, Verifikation, Model-Checking, Theorie der Nebenläufigkeit, Prozessmodellierung

Betreute Doktorarbeiten

     

  • Frank Andreas Heitmann.  Algorithms and Hardness Results for Object Nets. Dissertation an der Fakultät für Mathematik, Informatik und Naturwissenschaften der Universität Hamburg. 2013.  ediss.sub.uni-hamburg.de/volltexte/2013/6364
  • Wester-Ebbinghaus, Matthias. Von Multiagentensystemen zu Multiorganisationssystemen - Modellierung auf Basis von Petrinetzen. Dissertation an der Fakultät für Mathematik, Informatik und Naturwissenschaften der Universität Hamburg. 2010. ediss.sub.uni-hamburg.de/volltexte/2011/4974/ (fachliche Betreuung)
  •  

 

Weitere Interessen

e-learning, Sozionik, Didaktik der Informatik

Publikationen

Aktuelle Publikationen:

     

  • Michael Köhler-Bußmeier and Frank Heitmann. An upper bound for the reachability problem of safe, elementary hornets. Fundamenta Informati- cae, 143:89–100, 2016.

  • Michael Köhler-Bußmeier. A survey on decidability results for elementary object systems. Fundamenta Informaticae, 130(1):99–123, 2014.
  • Michael Köhler-Bußmeier. On the complexity of the reachability problem for safe, elementary Hornets. Fundamenta Informaticae, 129:101–116, 2014. 
  •  

Siehe auch www.dblp.org/db/indices/a-tree/k/K=ouml=hler=Bu=szlig=meier:Michael.html

www.haw-hamburg.de/ti-i/beschaeftigte/publikationen/Koehler-Bussmeier.html

Professionelle Mitgliedschaften

Mitglied der Gesellschaft für Informatik.

Dort: Mitglied der GI-Fachgruppe (SIG) Petrinetze.

Kurzbiografie

     

  • 2010-2013: Vertretungsprofessur an der Universität Hamburg 
  • 2009. Habilitation. Koordinierte Selbstorganisation und selbstorganisierte Koordination. Gutachter: Jürgen Dix, Otthein Herzog und Rüdiger Valk.
  • Nominiert für den Preis  Beste Promotion der Gesellschaft für Informatik (GI).
  • 2004. Promotion an der Universiät Hamburg. Objektnetze: Definition und Eigenschaften. Gutachter: Wilfried Brauer, Daniel Moldt und Rüdiger Valk
  • Preisträger Bester Vordiplom, gestiftet von Sun Microsystems.
  • 1994-1999: Studium der Informatik
  •  

Letzte Änderung: 16.04.13

An die Redaktion