====== Curriculum Vitæ (Lebenslauf) ======


===== Beruflicher Werdegang =====

^ Datum ^ Tätigkeit ^
| //Seit August 2022// | Bildungsgang-Management ITA |
| //Seit Mai 2013// | Admin im [[http://wiki.zum.de|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 [[http://www.tbs1.de|Berufskolleg der Stadt Bochum, Technische Berufliche Schule 1]].|
| | |
|//August 2020// | Ernennung zum Oberstudienrat.|
| //Oktober 2012 - September 2016// | Mitglied im Lehrerrat des [[http://www.tbs1.de|Berufskolleg der Stadt Bochum, Technische Berufliche Schule 1]].|
| //September 2009 - Januar 2010// | Lehrer für Informatik und Mathematik am [[http://www.ass-nienburg.de|Gymnasium Albert Schweitzer Schule Nienburg]].|
| //April 2009 – August 2009// | IT-Consultant und Softwareentwickler bei der [[http://www.bfs-health-finance.de/|BFS health finance GmbH]], Arvato, Bertelsmann AG.|
| //September 2006 – März 2009// | Wissenschaftlicher Mitarbeiter am [[http://ls5-www.cs.tu-dortmund.de/|Lehrstuhl für Programmiersysteme der TU Dortmund]] und am [[http://www.cs.uni-potsdam.de/sse/|Lehrstuhl für Service und Software Engineering der Uni Potsdam]] im Rahmen eines Promotionsstipendiums der TU Dortmund|
| //August 2006// | Diplom der Informatik über {{:plaenespiele.pdf|Pläne und Spiele – eine Anwendung spielbasierten Model Checkings}}. Nebenfach Psychologie.|
| //Februar 2004 – August 2006// | Wissenschaftliche Hilfskraft am [[http://ls5-www.cs.tu-dortmund.de/|Lehrstuhl für Programmiersysteme der TU Dortmund]].|
| //Juni 1998// | Abitur an der [[http://www.gsbnet.de|Gesamtschule Brünninghausen in Dortmund]].|
| //Januar 1979// | Geboren in [[http://www.dortmund.de|Dortmund]].|

===== Veröffentlichungen/Publikationen =====
Meine Veröffentlichungen werden teilweise auch [[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bakera:Marco.html|bei der DBLP (Digital Bibliography & Library Project) der Uni Trier]] gelistet. Mein [[Blog]] und dieses Wiki sind auch eine Quelle für diverse Veröffentlichungen, die jedoch keinem Reviewprozess unterliegen.

==== 2021 ====

Marco Bakera: [[https://community.pruefungskultur.de/datenbank-modellierung-als-kreative-hausarbeit/|Datenbank-Modellierung als kreative Hausarbeit]] - Institut für zeitgemäße Prüfungskultur, Mai 2021.

==== 2019 ====

Marco Bakera: //Gesunde E-Mail-Kommunikation im Alltag// - bbw - Beruflicher Bildungsweg, September, 2019

Marco Bakera: // Groff -Ein praktischer Einstieg und historischer Abriss// - [[https://ds.ccc.de/pdfs/ds100.pdf#page=39|Datenschleuder, Ausgabe 100]], Mai, 2019.

==== 2016 ====

Marco Bakera: [[blog>computer-sind-spannend-technik-macht-spass-bis-man-ein-schulfach-daraus-macht|Computer sind spannend, Technik macht Spaß - bis man ein Schulfach daraus macht]]. bbw - Beruflicher Bildungsweg, Juni 2016

Marco Bakera:  [[http://www.freiesmagazin.de/mobil/freiesMagazin-2016-06-bilder.html#fm_16_06_docker_im_schuleinsatz|Docker im Schuleinsatz]]. freiesMagazin und bei [[http://www.pro-linux.de/artikel/2/1834/docker-im-schuleinsatz.html|Pro-Linux]], Juni 2016
==== 2015 ====

Marco Bakera: //[[http://magazin.sofatutor.com/lehrer/2015/06/04/es-sollten-viel-mehr-lehrer-bloggen/|Es sollten viel mehr Lehrerinnen und Lehrer bloggen!]]//, Interview im sofatutor-Magazin, Juni 2015
==== 2011 ====

Marco Bakera: //Möglichkeiten des [[schule:Wikieinsatz im Unterricht|Einsatzes eines Wiki]] im Unterrichtsfach [[schule:Programmieren]] der Informationstechnischen Assistenten und Informationstechnischen Assistentinnen an der Technischen Beruflichen Schule 1 Bochum//, Staatsarbeit, Mai 2011 {{:schule:wikieinsatz_in_der_schule.pdf|PDF}} 


==== 2009 ====

Tiziana Margaria, Christian Wagner, Marco Bakera: Component-Oriented Behavior Extraction for Autonomic System
Design using Games. [[http://www.informatik2009.de/|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. [[http://www.informatik2009.de/|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. [[http://www.iceccs.org/Home.html|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 [[http://www.gml-2009.de/|Tagung Grundlagen Multimedialen Lehrens und Lernens (GML²)]]. Potsdam, März 2009.

==== 2008 ====

Marco Bakera, Tiziana Margaria: [[http://ercim-news.ercim.eu/the-shadows-story-on-self-healing-systems|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. [[http://www.fokus.fraunhofer.de/en/fokus_events/motion/qees_2008/index.html|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 [[http://www.csc.liv.ac.uk/~mjw/mochart/Site/MOCHART-2008.html|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 [[http://www.isola2007.ensma.fr/|ISoLA 2007]]

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Property-driven functional healing: Playing against undesired behavior. In Proc. of [[http://www.isqi.org/konferenzen/conquest/2007/|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: {{:plaenespiele.pdf|Pläne und Spiele - eine Anwendung spielbasierten Model Checkings}}. Diplomabeit, Technische Universität Dortmund, August 2006

==== 2003 ====

Erste Artikel zu den Themen [[wpde>NP-Vollständigkeit]] und [[wpde>Attributionstheorien]] bei der deutschen Wikipedia. [[http://toolserver.org/~tparis/pcount/index.php?name=Marco.Bakera&lang=de&wiki=wikipedia|Meine Nutzerstatistik]]

===== Gutachtertätigkeiten =====

Als Zweitgutachter war ich für diverse Bücher, Dissertationen und die folgenden Konferenzen und Zeitschriften tätig.

==== Konferenzen ====
  * [[wp>International Conference on Software Engineering and Formal Methods]] (SEFM)
  * [[wp>List_of_computer_science_conferences#Software_engineering|Conference on tools and algorithms for the construction and analysis of systems]] (TACAS)
  * Conference on Biologically Inspired Collaborative Computing (BICC)
  * International Conference on Web Services (ICWS)
  * [[http://www.fis2008.org|Future Internet Symposium]]

==== Zeitschriften ====

  * [[http://sttt.cs.uni-dortmund.de/|International Journal on Software Tools for Technology Transfer]] (STTT)
  * Informatik - Forschung und Entwicklung

~~NOTOC~~