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

  • Sung-Shik Jongmans receives the award for the best IPA dissertation of 2016 for his thesis Automata-Theoretic Protocol Programming,  which addresses topics in the intersection of coordination languages, compiler technology, distributed systems, and concurrency theory.
  • A special course on Rewriting takes place from 3-7 July. Read More…

Upcoming defences

  • 9th Oct 2017, Anna Krasnova. Smart invaders of private matters: Privacy of communication on the Internet and in the Internet of Things (IoT). Radboud University Nijmegen. Read More…