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.
- The KNAW Accreditation Committee for Research Schools recently extended the accreditation of the institute of Programming research and Algorithmics (IPA) for six years. The committee praised IPA for its clear mission and acknowledged the added value for the research community represented by IPA.
- Cynthia Kop was awarded the IPA Dissertation Award 2012 for her thesis, contributing to the field of higher-order termination.
- 9th Jan 2014, Jeroen van den Bos. Gathering Evidence: Model-Driven Software Engineering in Automated Digital Forensics. Universiteit van Amsterdam. Read More…
- 9th Jan 2014, Dina Hadziosmanovic. The Process Matters: Cyber Security in Industrial Control Systems. Twente University. Read More…