Home

The Institute for Programming research and Algorithmics (IPA) is a 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.

Upcoming events

  • 3rd Oct – 7th Oct , 2022 . Fall Days on Scalable and Versatile Software Analytics: ML and NLP to the Fore. Landal Beach Resort Ooghduyne. Read More…

Upcoming defences

IPA News

  • Alexander Bentkamp wins the award for the best IPA dissertation of 2021, for his thesis Superposition for Higher-Order Logic. Alexander will give a keynote at the upcoming IPA Fall Days.
  • Thomas Neele won the award for the best IPA dissertation of 2020, for his thesis Reductions for Parity Games and Model Checking. Thomas received the award certificate and gave a keynote at a March 2022 IPA event in Utrecht.
  • Sándor Kisfaludi-Bak won the award for the best IPA dissertation of 2019, for his thesis ETH-Tight Algorithms for Geometric Network Problems. Sándor received the award certificate and gave an online keynote at a March 2022 IPA event in Utrecht.