Wissenschaftlicher Mitarbeiter (Research Associate)

from 2007 to 2010

Martin is now working at SAP AG.

Contact

Address:
Otto-Friedrich-Universität Bamberg
Fakultät für Wirtschaftsinformatik und Angewandte Informatik
Professur für Kognitive Systeme
D-96045 Bamberg

Office:
Feldkirchenstraße 21
Raum 344
D-96052 Bamberg

Consultation Hour:
always (almost, at least when he is in his office)

Phone:
++49-(0)951-863 2865

Fax:
++49-(0)951-863 5861

E-Mail:
Mail to Martin Hofmann

CV

Research

• Research associate in the DFG-Project: "Effiziente Algorithmen zur induktiven Programmsynthese"
• Resarch Topic: Inductive Programming, especially combining functional programming techniques with program synthesis
• PhD Thesis: "Schema-Guided Inductive Functional Programming through Automatic Detection of Type Morphisms"

Activities

• web master of the online platform for the research community on inductive programming ,www.inductive-programming.org 
• Girls' Day workshop organisation (2007, 2008, 2009, 2010)
• MuT – Mädchen und Technik workshop organisation (2006)

Publications

• An automatically generated list of publications using http://univis.uni-bamberg.de/
• My diploma thesis: "Automatic Construction of XSL Templates – An Inductive Programming Approach" (2007). The fancy glossy version is available from here, the cheaper pdf from here ;-)

Teaching

• Reading Club "Algebraic Foundations of Functional Programming" (WS 08/09)
• Master Seminar "Automated Software Engineering" (SS 08)
• Tutor in Non Procedural Programming (Nichprozedurale Programmierung), Informatics Theory Group of Prof. Mendler (WS 06/07)
• Tutor in Principles of Business Information Systems (Grundlagen betrieblicher Informationssysteme), System Development and Database Applications Group of Prof. Sinz (WS 06/07)
• Tutor in Algorithms and Data Structures (Algorithmen und Datenstrukturen), Applied Computer Science Group of Prof. Wirtz (SS 04)
• Tutor in Descrete Foundations (Formale Grundlagen der Informatik), Informatics Theory Group of Prof. Mendler (WS 03/04)