Dies ist eine alte Version des Dokuments!
Curriculum Vitæ (Lebenslauf)
Beruflicher Werdegang
- Seit Mai 2013
Admin im Wiki der "Zentrale für Unterrichtsmedien im Internet e. V." (ZUM) und Mitglied bei der ZUM. - Seit September 2012
Mitglied im IHK Prüfungsausschuss Fachinformatiker - Fachrichtung Anwendungsentwicklung. - Seit Februar 2010
Lehrer für Informatik und Mathematik am Berufskolleg der Stadt Bochum, Technische Berufliche Schule 1.
- Oktober 2012 - September 2016
Mitglied im Lehrerrat des Berufskolleg der Stadt Bochum, Technische Berufliche Schule 1. - September 2009 - Januar 2010
Lehrer für Informatik und Mathematik am Gymnasium Albert Schweitzer Schule Nienburg. - April 2009 – August 2009
IT-Consultant und Programmierer bei der BFS health finance GmbH, Arvato, Bertelsmann AG. - September 2006 – März 2009
Wissenschaftlicher Mitarbeiter am Lehrstuhl für Programmiersysteme der TU Dortmund und am Lehrstuhl für Service und Software Engineering der Uni Potsdam im Rahmen eines Promotionsstipendiums der TU Dortmund - August 2006
Diplom der Informatik über Pläne und Spiele – eine Anwendung spielbasierten Model Checkings. Nebenfach Psychologie. - Februar 2004 – August 2006
Wissenschaftliche Hilfskraft am Lehrstuhl für Programmiersysteme der TU Dortmund. - Juni 1998
Abitur an der Gesamtschule Brünninghausen in Dortmund. - Januar 1979
Geboren in Dortmund.
Veröffentlichungen/Publikationen
Meine Veröffentlichungen werden teilweise auch bei der DBLP (Digital Bibliography & Library Project) der Uni Trier gelistet. Mein Blog und dieses Wiki sind natürlich auch eine Quelle für diverse Veröffentlichungen, die jedoch keinem Reviewprozess unterliegen.
2019
Marco Bakera: Gesunde E-Mail-Kommunikation im Alltag - bbw - Beruflicher Bildungsweg, Septemmer, 2019
Marco Bakera: Groff -Ein praktischer Einstieg und historischer Abriss - Datenschleuder, Ausgabe 100, Mai, 2019.
2016
Marco Bakera: Computer sind spannend, Technik macht Spaß - bis man ein Schulfach daraus macht. bbw - Beruflicher Bildungsweg, Juni 2016
Marco Bakera: Docker im Schuleinsatz. freiesMagazin und bei Pro-Linux, Juni 2016
2015
Marco Bakera: Es sollten viel mehr Lehrerinnen und Lehrer bloggen!, Interview im sofatutor-Magazin, Juni 2015
2011
Marco Bakera: Möglichkeiten des Einsatzes eines Wiki im Unterrichtsfach Programmieren der Informationstechnischen Assistenten und Informationstechnischen Assistentinnen an der Technischen Beruflichen Schule 1 Bochum, Staatsarbeit, Mai 2011 PDF
2009
Tiziana Margaria, Christian Wagner, Marco Bakera: Component-Oriented Behavior Extraction for Autonomic System Design using Games. 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), September 2009
Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann: Test your Strategy – Intuitive Strategy Definition and Evaluation for Novices and Experts. 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), September 2009
Marco Bakera, Sven Jörges: Test your Strategy: Intuitive Programming for Novices and Experts. In Proc. 14th IEEE International Conference on Engineering of Complex Computer Systems. Potsdam, June 2009.
Marco Bakera, Tiziana Margaria: Virtuelle Welten: Mit ConnectIT Spielen und Lernen im Second Life. Poster Tagung Grundlagen Multimedialen Lehrens und Lernens (GML²). Potsdam, März 2009.
2008
Marco Bakera, Tiziana Margaria: The SHADOWS Story on Implementation, Verification and Property-Guided Autonomy for Self-Healing Systems. In ERCIM News, Issue 75 (Special Theme: Safety-Critical Software), October 2008
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Model Checking with the jABC Framework - From METAGame to GEAR. In Proc. of Intern. Symposium on Quality Engineering for Embedded Systems (QEES) 2008
Tiziana Margaria, Marco Bakera, Harald Raffelt and Bernhard Steffen: Synthesizing the Mediator with jABC, ABC. In Proc. of Sixth International Workshop on Evaluation of Ontology-based tools and the Semantic Web Service Challenge (EON & SWS-Challenge 2008)
Marco Bakera, Stefan Edelkamp, Peter Kissmann and Clemens D. Renner: Solving mu-calculus Parity Games by Symbolic Planning. In Proc. of The Fifth International Workshop on Model Checking and Artificial Intelligence (Mochart) 2008
2007
Marco Bakera, Tiziana Margaria, Clemens D. Renner: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. In Proc. of ISoLA 2007
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Property-driven functional healing: Playing against undesired behavior. In Proc. of CONQUEST 2007
Marco Bakera, Clemens Renner, Tiziana Margaria: Report on techniques for avoiding interference and supporting interactions between the SHADOWS self-healing technologies. Technical Report SHADOWS, 2007
2006
Marco Bakera: Pläne und Spiele - eine Anwendung spielbasierten Model Checkings. Diplomabeit, Technische Universität Dortmund, August 2006
2003
Erste Artikel zu den Themen NP-Vollständigkeit und Attributionstheorien bei der deutschen Wikipedia. Meine Nutzerstatistik
Gutachtertätigkeiten
Als Zweitgutachter war ich für diverse Bücher, Dissertationen und die folgenden Konferenzen und Zeitschriften tätig.
Konferenzen
- Conference on Biologically Inspired Collaborative Computing (BICC)
- International Conference on Web Services (ICWS)
Zeitschriften
- Informatik - Forschung und Entwicklung