The principal goal of the Institute for Programming research and Algorithmics (IPA) is to educate researchers in the field of programming research and algorithmics. This research field comprises
the study and development of formalisms, methods, and techniques to design, analyze, and construct software systems and components.