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.
- 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
- A special course on Rewriting takes place from 3-7 July. Read More…
- 12th Jun 2017, Hrishikesh Salunkhe. Modeling and Buffer Analysis of Real-time Streaming Radio Applications Scheduled on Heterogeneous Multiprocessors. Eindhoven University of Technology. Read More…