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

  • The Formal Methods course will take place from 29 June – 3 July. Read more…

Upcoming defences

  • 26th May 2015, Yanjindulam Dajsuren. On the Design of an Architecture Framework and Quality Evaluation for Automotive Software Systems. Eindhoven University of Technology. Read More…
  • 27th May 2015, Cuiting Chen. Automated Fault Localization for Service-Oriented Software Systems. Delft University of Technology. Read More…
  • 4th Jun 2015, Steven te Brinke. Developing Energy-Aware Software. Twente University. Read More…
  • 17th Jun 2015, Sjoerd Cranen. Getting the point — Obtaining and understanding fixpoints in model checking. Eindhoven University of Technology. Read More…
  • 30th Jun 2015, Jeroen Bransen. On the Incremental Evaluation of Higher-Order Attribute Grammars. Utrecht University. Read More…
  • 6th Jul 2015, Stjepan Picek. Applications of Evolutionary Computation to Cryptology. Radboud University Nijmegen. Read More…
  • 27th Aug 2015, Joeri de Ruiter. Lessons learned in the analysis of the EMV and TLS security protocols. Radboud University Nijmegen. Read More…