Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- curriculum_vitae [2016-06-16 20:18] – [2016] docker im Schuleinsatz marco.bakera
+++ curriculum_vitae [2023-05-18 22:31] – [Veröffentlichungen/Publikationen] pintman
@@ Zeile 1: / Zeile 1: @@
+====== 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/2021/05/27/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/20160605-juniausgabe-erschienen|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~~