Een hoger abstractieniveau voor logische specificatietalen

Dit doctoraat wilt logische specificatietalen, zoals FO(·), verrijken met bijkomende abstracties: enerzijds gestructureerde recursieve types engenerische types, anderzijds relaties als first class citizens. FO(·) is weliswaar gericht op het ondersteunen van een natuurlijke en krachtige voorstelling van probleemkennis maar dit is niet altijd optimaal omdat in andere talen ingeburgerde datarepresentaties niet ondersteund worden.
Het ondersteunen van gestructureerde recursieve types en generische types zoals lijsten of boomstructuren zal de modulariteit van de modellen verbeteren en hun herbruikbaarheid verhogen.