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ß