Hofmann, Martin
Dipl.-Wirtsch.Inf. (E.M.B.Sc.) Martin Hofmann is a PhD student in the Cognitive Systems Group of Prof. Ute Schmid at Bamberg University and a research assistant in the DFG-project \"Efficient Algorithms for Inductive Program Synthesis\". His interests are inductive program synthesis in higher-order context, functional programming and term rewriting.