Projects
Parametricity in Type Theory: Language Primitives and Applications KU Leuven
Parametricity is an important property of functions in computer science, offering valuable proof techniques for reasoning about programs. This is true for pen and paper reasoning, but also for reasoning internally in dependently-typed programming languages and proof assistants. However, current support for (internal) parametricity in these languages is not satisfactory, both in terms of expressiveness (can we prove standard results of ...
Parametricity in Type Theory: Language Primitives and Application Vrije Universiteit Brussel
Sociolinguistic gatekeeping with indexical variation: a quantitative-qualitative investigation of the endexical value of Standard and Colloquial Belgian Dutch variation in 'elderspeak' in Flemish nursing homes KU Leuven
In many Western societies, elders (>65 years) are gradually becoming a larger demographic (OECD Data, 2016), yet at the same time, a complaint frequently heard among the older generations is that people no longer respect their elders. This complaint is supported by a linguistic phenomenon studied in Sociolinguistics known as ‘elderspeak’ (Kemper, 1994). Elderspeak refers to a cluster of linguistic features utilized by younger adults to ...
Portable Altars and the Aesthetical changes within 11th-12th centuries reforms of the Church. The Sublime Revelation of the Invisible Presence. KU Leuven
Mijn interdisciplinair onderzoek naar de inscripties en de iconografie van draagbare altaren uit de XI-XII eeuwen zal naar verwachting een grotere gevoeligheid opleveren voor hun conceptie, perceptie en gebruik binnen de politieke en theologische veranderingen die de Kerk in die eeuwen troffen. De nieuwe semantische betekenis die toen door de theologen aan de liturgische ruimte werd toegekend, zal kennis en inzicht verschaffen in het ...
Functional connectivity of the language network as a non-invasive predictor for language outcome in patients with brain gliomas Ghent University
Functional connectivity analysis is a novel technique that allows studying the neuronal interaction and causal directions of regional brain activation during language processing This technique is promising for clinical purposes as it is applicable in the interpretation of functional activation in patients with brain lesions in language related areas The analysis of an individual connectome may be able to assist in delineating the surgical ...
Moving beyond Ockham: theories of categories in the early 14th century. KU Leuven
The problem of categories has preoccupied philosophers since antiquity. Can we establish a complete set of ultimate kinds and what precisely might these kinds be, e.g. substance, quality, relation, state, event, etc? Some philosophers argue that categories are entities, the basic building blocks of reality. Others think that categories are the basic concepts through we conceptualize the structure of reality in a most general fashion. Still ...