Artificial Intelligence and Software Technology

Artificial Intelligence and Software Technology
ki.informatik.uni-frankfurt.de Technology: AI / Machine Learning
Research interests: Static Analyses of Programs, Observational semantics of Functional Programming Languages, Observational Semantics of Concurrent Computation, Unification and Knowledge Representation.
Director: Prof. Dr. Manfred Schmidt-Schauß