Dr. Emanuel Kitzelmann, OStR

Ich bin Informatiker, habe an der Fakultät für Wirtschafts- und Angewandte Informatik der Universität Bamberg promoviert und anschließend am International Computer Science Institute in Berkeley, USA auf dem Gebiet der Künstlichen Intelligenz und speziell zur induktiven Programmsynthese geforscht. Aktuell bin ich Lehrer für Informatik, Softwareentwicklung und Mathematik am Berufskolleg Ratingen und leite dort das Berufliche Gymnasium für Informatik. Daneben gebe ich Fachfortbildungen für Lehrkräfte im Fach Mathematik und bin Prüfer von Fachinformatiker/innen bei der Industrie und Handelskammer Düsseldorf.

Ab August 2023: Professor an der TH Brandenburg (Professur für Künstliche Intelligenz)

Vita

Fortbildungen für Lehrkräfte

über die Bezirksregierung Düsseldorf
  • Geogebra im Mathematikunterricht lernwirksam einsetzen
  • Kompetenzorientierter Mathematikunterricht im digitalen Wandel
  • Erstellung kompetenzorientierter FHR-Prüfungsvorschläge

Aktuelle Angebote: Lehrkräftefortbildung – BR Düsseldorf

auf Anfrage
  • Werkzeuge des maschinellen Lernens einsetzen (LF 10c, Fachinformatiker Daten- und Prozessanalyse)
Anfrage

Vita

Ausführlicher CV [pdf]

Ausbildung

2015

Staatsprüfung für das Lehramt an Berufskollegs, Informatik und Mathematik, Gesamtnote: gut

2010

Promotion zum Dr. rer. nat., Universität Bamberg, Gesamtnote: summa cum laude

2004

Diplom in Informatik, Technische Universität Berlin, Gesamtnote: sehr gut

2000

Vordiplom Informatik, Universität Passau, Gesamtnote: 1,7

1997

Abitur, Johanneum zu Lübeck, Gesamtnote: 2,7

Berufserfahrung

seit 2019

Leitung des Beruflichen Gymnasiums für Informatik, AJC-BK Ratingen

seit 2018

Moderation von Mathematik-Lehrkräftefortbildungen, Bezirksregierung Düsseldorf

seit 2015

Prüfer von Fachinformatiker/innen, Industrie- und Handelskammer Düsseldorf

seit 2013

Lehrer für Informatik, Mathematik und Anwendungsentwicklung am Beruflichen Gymnasium und in der Fachinformatiker-Ausbildung, AJC-BK Ratingen

2012 – 2013

Wissenschaftlicher Assistent, paluno – The Ruhr Institute for Software Technology, Universität Duisburg-Essen

2010 – 2012

Forschungsstipendiat (DAAD), International Computer Science Institute in Berkeley, CA / USA

2004 – 2010

Wissenschaftlicher Mitarbeiter, Cognitive Systems Group, Universität Bamberg

2001 – 2003

Studentische Hilfskraft, Fachgruppe für Parallele und Verteilte Programmierung, Technische Universität Berlin

2001

Werkstudent, Team Autonome Fahrersysteme, DaimlerChrysler Berlin

Lehrerfahrung

Berufliches Gymnasium für Informatik
  • Informatik
  • Mathematik-Leistungskurs
Fachinformatiker/innen
  • Anwendungsentwicklung und Datenbanken
Universität
  • Unified Modeling Language (VL)
  • Intelligente Agenten (ÜB)
  • Lernende Systeme (ÜB)
  • Human-Computer-Interaction (ÜB)
  • Seminare und Projekte zu Künstlicher Intelligenz, Maschinellem Lernen, Programmsynthese

Ausgewählte Publikationen

[Meine Publikationslisten bei: Google Scholar, DBLP]

Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid (2015). Inductive programming meets the real world. Communications of the ACM 58(11): 90-99 [link] [pdf]

Ute Schmid, Emanuel Kitzelmann (2011). Inductive rule learning on the knowledge level. Cognitive Systems Research 12(3-4): 237-248 [link] [pdf]

Emanuel Kitzelmann (2011). Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme. In: Ausgezeichnete Informatikdissertationen 2010. Gesellschaft für Informatik: 141-150. (Extended Abstract meiner Dissertation, deutsch, 10 Seiten.) [link] [pdf]

Emanuel Kitzelmann (2010). Inductive Programming: A Survey of Program Synthesis Techniques. In: Approaches and Applications of Inductive Programming, AAIP. LNCS 5812, Springer. [link] [pdf]

Emanuel Kitzelmann, Ute Schmid (2006). Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. Journal of Machine Learning Research 7(15): 429-454. [link] [pdf]

Links