The Institute for Programming research and Algorithmics (IPA) is a KNAW recognised national inter-university research school. Its principal goal 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, analyse, and construct software systems and components.

IPA News

Upcoming defences

  • 17th Apr 2014, Tri Minh Ngo. Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. Twente University. Read More…