Chair 14 of the Faculty of Computer Science
projects, e.g., synthesis of control software for cyber-physical systems, hardware designs, and simulation models of factories. The teaching of the group focuses on the interplay of type theory and logic [...] logic as well as concepts of functional programming. The VM Group works on the modeling, simulation and optimization of real-world manufacturing processes. Topics range from developing process models for …