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

  • Jurriaan Rot receives the award for the best IPA dissertation of 2015 for his thesis Enhanced Coinduction, which studies fundamental enhancements to the coinduction proof and definition technique
  • The Algorithms and Complexity group, led by prof. Bodlaender joined IPA
  • The IPA course on Algorithms and Complexity takes place from 4-8 July 2016 in  Eindhoven. Read more…

Upcoming defences

  • 5th Jul 2016, Baris Ege. Physical Security Analysis of Embedded Devices. Radboud University Nijmegen. Read More…
  • 13th Jul 2016, Tom van Dijk. Sylvan: Multi-core Decision Diagrams. Twente University. Read More…
  • 31st Aug 2016, Arthur van Goethem. Algorithms for Curved Schematization. Eindhoven University of Technology. Read More…
  • 7th Sep 2016, Ionut David. Run-time resource management for component-based systems. Eindhoven University of Technology. Read More…