On October 30, 2018, I gave my research talk Automating Scientific Research in Optimization at the chair for Artificial Intelligence and Software Technology (KIST) of Prof. Dr. Manfred Schmidt-Schauß at the Computer Science Institute, Computer Science and Mathematics Department of the Goethe University Frankfurt in Frankfurt am Main, Germany.
Prof. Schmidt-Schauß and his group are following several highly interesting strands of research centered around functional programming languages and program analysis. For instance, they work on the static analyses of programs and expressions, including termination analysis, demand analysis, and strictness analysis, which are important topics for compilers of (non-strict) functional programming languages. They work on understanding the observational semantics of functional programming languages with call-by-need evaluation in the contexts of studying extended lambda-calculi and concurrent computation. Another one of their research topics is understanding the side effects of input/output operations in lazy functional programming languages. They also conduct research on unification, i.e., solving equations in a logical form, encompassing unification in equational theories, sorted unification, combination of unification algorithms and unification in higher order logics. Finally, they work on knowledge representation, and investigate the properties of concept description languages and their reasoning behavior and complexity.
It was very nice to meet Prof. Schmidt-Schauß and his group. I am very thankful for their hospitality and for the nice discussion as well as the kind reception of my talk.