Home

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

Cynthia Kop was awarded the IPA Dissertation Award 2012 for her thesis, contributing to the field of higher-order termination.

Upcoming defences

• 12th Jun 2013, Martijn van den Heuvel. Composition and synchronization of real-time components upon one processor. Eindhoven University of Technology. Read More…
• 4th Jul 2013, John Businge. Co-evolution of the Eclipse Framework and its Third-party Plug-ins. Eindhoven University of Technology. Read More…
• 23rd Sep 2013, Lionel Elie Mamane. Interactive mathematical documents: creation and presentation. Radboud University Nijmegen. Read More…