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 Fall Days will take place from 2-6 November.¬†First and second year IPA PhD students are encouraged to give a presentation at the PhD Workshop on Monday 2 November. Read more…

Upcoming defences

  • 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…