Iris van der Giessen is awarded an NWO Veni

We are pleased to announce that dr. Iris van der Giessen (University of Birmingham) has been awarded an NWO Veni to work on the project entitled Interpolation in mathematical logic: when does it work?. Interpolation is a method of separating statements into different categories. Van der Giessen will develop new mathematical techniques to characterize criteria under which interpolation works and applies these results to solve questions about interpolation in the theory of knowledge bases.