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
- 2nd Nov – 6th Nov, 2026. Fall Days on AI in IPA. . Read More…
Upcoming defences
- 7th Sep 2026, Winnie Bahati Mbaka. An Empirical Investigation Into Human Judgments of Security Threats. Vrije Universiteit Amsterdam. Read More…
- 12th Oct 2026, Tom Smeding. Reverse-mode Automatic Differentiation for Functional Array Languages. Utrecht University. Read More…
- 13th Oct 2026, Sebastiaan Brand. Symbolic Algorithms for the Analysis of Quantitative Systems. Leiden University. Read More…
- 13th Nov 2026 , Niels Doorn. O bug, where art thou? Improving software testing education. Open University. Read More…
IPA News
- Natasja Betting – van Liempt started as management assistant with IPA, taking over the role from Agnes van den Reek. Good luck Natasja!
- Sangeeth Kochanthara won the award for the best IPA dissertation of 2023, for his thesis A Changing Landscape: On Safety & Open Source in Automated and Connected Driving. After receiving the award certificate, Sangeeth gave a keynote at the Fall Days 2024. The award comes with a prize of €1000.
- Petar Vukmirović won the award for the best IPA dissertation of 2022, for his thesis Implementation of Higher-Order Superposition. Petar gave a keynote at the IPA Fall Days 2023 and received the award certificate and €1000 as monetary reward.
- Alexander Bentkamp won the award for the best IPA dissertation of 2021, for his thesis Superposition for Higher-Order Logic. Alexander gave a keynote at the IPA Fall Days 2022 and received the award certificate and €1000 as monetary reward.
- 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.