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

  • Bogdan Vasilescu received the award for the best IPA dissertation of 2014. His thesis addresses contemporary and relevant research problems such as gender imbalance in program development, raising awareness about the various aspects in software development.
  • The Formal Methods course will take place from 29 June – 3 July. Read more…

Upcoming defences

  • 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…
  • 1st Sep 2015, Rody Kersten. Software Analysis Methods for Resource-Sensitive Systems. Radboud University Nijmegen. Read More…