Priv.-Doz. Dr. Michael Köhler-Bußmeier

Hinweis

Dr. Köhler-Bußmeier hat seit dem Wintersemester 2013/2014 die Professur für Theoretische Informatik und Diskrete Mathematik an der HAW Hamburg inne. Er ist am Fachbereich weiterhin als Privatdozent tätig.

Raum:

-

Sprechstunde:

nur nach Anmeldung per E-Mail

Telefon:

040 / 42883-2181

Telefax:

040 / 42883-2246

E-Mail:

koehler[at]informatik.uni-hamburg.de

Stellung:

Privatdozent

Vitae

Lebenslauf (Kurzfassung)

Frühere Projekte: (bis 2013)

Konzeption und Durchführung des inverted-classroom Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik (FGI-1) (BMBF-Teilprojekt: 01PL12033)

Didaktische und methodische Qualifikation studentischer Hilfskräfte für die Üungsbetreuung der Studieneingangsphase der Informatik (BMBF-Teilprojekt: 01PL12033)

Herold (BMBF-Projekt 01BS0901)

DFG-Projekt Sozionik (ASKO) und Sozionikaktuell

DFG-Projekt Sozionik (DISPO)

Projekt SISOL

Forschungsgebiete

Nebenläufige Systeme, Petrinetze und verteilte Algorithmen

Organisationen und Geschäftsprozesse

Algebra der Objektnetze

Aikido :-)

Mitgliedschaft (international):

GI (Gesellschaft für Informatik), Fachgruppe Petrinetze und verwandte Systemmodelle (Fachgruppe 0.0.1)

Association: Computability in Europe

Mitgliedschaft (Universität):

Prüfungsausschuß (PA) - bis 2013

Promotionsausschuß (PromA) - bis 2013

Studienkommision (StuKo) / Studienreform-Ausschuß (SRA) - bis 2013

Aktuelle Publikationen

Das zweite Buch zur Sozionik: Selbstorganisation und Governance in künstlichen und sozialen Systemen.

Habilitationsschrift: Koordinierte Selbstorganisation und selbstorganisierte Koordination

Bibliographie

Bibliographie (TGI-DB, online)

Publikationsliste [PDF]

Einträge in der Computer Science Bibliography

... my Erdös-Number=3 (Paul Erdös/Solomon Marcus/Manfred Kudlek/Michael Köhler)

Lehre

Betreute Diplomarbeiten (2001 - 2012)

Hinweise zu Abschlussarbeiten

Online-Vorlesung: Formale Grundlagen der Informatik 1

Online-Vorlesung: Formale Grundlagen der Informatik 2

OE-Vorlesung: Welfencreme oder: Einführung in Petrinetze

Workshops und Konferenzen (PC Vorsitz)

Co-Organizer of 33rd International Conference on Application and Theory of Petri Nets and Concurrency. 25.-29. June 2012, Hamburg, Germany

Co-Chair of the Fifth International Workshop on Logics, Agents and Mobility (LAM'12). A satellite workshop at the International Conference Petri Nets 2012. 25. June 2012, Hamburg, Germany

Chair of the Fourth International Workshop on Logics, Agents and Mobility (LAM'11). A satellite workshop at the Twenty-Second International Conference on CONCURRENCY THEORY (CONCUR 2011). 10 September 2011 Aachen, Germany

Chair of the OrgMod'09: International Workshop on Organizational Modelling at the Conference on Application and Theory of Petri Nets (ICATPN), Paris, France, 2009

Chair of the International Workshop on Logics for Agents and Mobility at the European Summer School in Logic, Language, and Information (ESSLLI), Hamburg, Germany, August 4-15, 2008

Workshops und Konferenzen (Mitglied im Programmkommitee)

International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems. A satellite workshop at the 35rd International Conference on Application and Theory of Petri Nets and Concurrency, Tunis, Tunisia, June 24, 2014

International Workshop on Petri Nets and Software Engineering (PNSE'13). A satellite workshop at the Conference on Application and Theory of Petri Nets (ICATPN'13), Milano, Italy, June 24-25, 2013

5th International Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms (PNGT 2012). September 29, 2012. Bremen, Germany. A Satellite Event of ICGT 2012.

10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012. In conjunction with the 14th International Conference on Enterprise Information Systems - ICEIS 2012. 28 June, 2012 - Wroclaw, Poland.

9th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. Co-located with ICEIS 2011 in Bejing (China) on 8-9 June, 2011.

International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2010). In conjunction with the 12th International Conference on Enterprise Information Systems (ICEIS 2010). 8-9 June, 2010 - Funchal, Madeira, Portugal

Third International Workshop on Logics, Agents and Mobility (LAM'10) A satellite workshop at the twenty-fifth annual IEEE Symposium on Logic in Computer Science (LICS 2010) Edinburgh, Scotland, United Kingdom, July 15, 2010

International Workshop on Petri Nets and Software Engineering (PNSE'09). A satellite workshop at the Conference on Application and Theory of Petri Nets (ICATPN'09), Paris, France, June 22-23, 2007

Second International Workshop on Logics, Agents and Mobility (LAM'09) A satellite workshop at the Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2009). Los Angeles, USA, 10 August 2009.

International Workshop on Modelling of Objects, Components, and Agents (MOCA'09). Co-located with MATES 2009 and CLIMA-X 2009. Hamburg, Germany, 11th September 2009

International Workshop on Petri Nets and Software Engineering (PNSE'07). A satellite workshop at the Conference on Application and Theory of Petri Nets (ICATPN), Siedlce, Poland, June 25-26, 2007