KATHOLIEKE UNIVERSITEIT LEUVEN

Forschungsprojekte

• Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts The Instruction Set Architecture (ISA) is the interface that processor hardware offers to software developers…
• Towards a Systematic Theory of Aristotelian Diagrams in Logical Geometry Aristotelian diagrams, such as the square of opposition, have been widely used throughout the history of phil…
• Understanding the Processes Underlying Societal Threats using Novel Cluster-based Methods Social scientists are eager to answer questions about relations between constructs like beliefs or values. Fo…
• Exploring Life narratives of Violence Among Refugees from Africa’s Great Lakes Region (AGLR) This project aims to map and examine to what extent, and under what conditions, the life narratives of the Af…
• Scientific societies and the globalization of science (1930-1990) Science has become a global enterprise. To produce knowledge, scientists with different nationalities, gender…
• Model Atmospheres of the Progenitor Stars to Supernovae and Black Holes: Finally in 3D! Stars with masses many times that of our Sun are the direct progenitors to cosmic phenomena such as supernova…
• The Significance of Bilingual Manuscripts for Detecting Cross-Language Interaction in the New Testament Tradition BICROSS is an interdisciplinary project linking Greek, Latin, Syriac, Coptic, Gothic, Armenian and Arabic phi…
• Kinetic selectivity in molecular sieve sensors Detecting and monitoring volatile organic compounds (VOCs) is an important task with applications ranging fro…
• NEONATAL KIDNEY STEM PROGENITOR CELLS AS A NOVEL TYPE OF CELL THERAPY Global mortality from chronic kidney disease (CKD) is estimated at more than 1.2 million annually. CKD is cau…
• Bottom-up reconstruction of a Synthetic Erythrocyte Blood is a precious and vital resource for many clinical interventions. Erythrocytes, its key component, are…
• FantastiCOF: Fabricating and Implementing Exotic Materials from Covalent Organic Frameworks Superconducting devices based on Josephson Junctions (JJs) are among the most versatile devices in supercondu…
• Gestalts Relate Aesthetic Preferences to Perceptual Analysis """De gustibus et coloribus non disputandum est."" With this slogan philosophers and lay people alike have di…