Projects
Reasoning Principles beyond Elementary Logic based on Multimode and Presheaf Type Theory KU Leuven
riting machine-checked proofs in a dependently typed proofassistant is generally considered harder than writing pen-and-paper proofs. The reason generally brought up for this is that in pen-and-paper proofs we can appeal to intuitive shortcuts of reasoning that a rigorous type-checker will not allow. Increasingly however, we see that these shortcuts can be turned into formal reasoning principles. E.g. the intuitive idea that isomorphic ...
Reliability of thin-film IGZO transistors for logic and memory applications KU Leuven
In the last decade, oxide semiconductors have emerged as a higher performance replacement for standard amorphous silicon thin-film transistors (TFT’s) in display back-plane and flexible electronics. Among different material candidates, Indium-Gallium-Zinc Oxide (IGZO) is the most promising, providing high performance with large area uniformity, low off-currents and low-temperature processing. As a result of the exceptional electrical ...
Plasmonic Logic KU Leuven
This PhD project focuses on the experimental demonstration of the different plasmonic and photonic components and circuits that are required for plasmonic computation. In addition, it will lead to small, but functional demonstrators of the wave computing paradigm initially implemented in a purely dielectric photonic platform, and later onwards importing the plasmonic components.
Micromagnetic simulations for boolean and non-boolean logic KU Leuven
In the last decades, the downscaling of the CMOS transistor has led to an exponential growth in computing unit performances. However, when the transistor size reached the nanometer dimensions, this downscaling became increasingly challenging. As a result, recently, there has been a strong search for beyond-CMOS computing schemes that allow for further improvement of computing unit performances. One promising alternative computing methodology ...
Transcriptional and epigenomic logic of X chromosome reactivation during factor-induced pluripotency. KU Leuven
In this thesis, I aimed to define the dynamics and the mechanisms that orchestrate the reversal of stable gene silencing during reprogramming of somatic cells into induced pluripotent stem cells (iPSCs). I used X chromosome reactivation as a paradigm to better understand the reversal of silent chromatin. In addition, my goal was also to define the gene regulatory logic of mammalian pre- implantation development and reprogramming, as well as ...
Exploiting enhancer logic and transcriptional networks to control phenotype switching in melanoma KU Leuven
Enhancers are regulatory genomic regions that play an important role in gene regulatory networks. Through the binding of sequence-specific transcription factors, enhancers cooperatively regulate the expression of their target genes and, ultimately, a cell’s phenotype. Melanoma is one of the most dangerous and difficult to treat human cancers. Both cellular heterogeneity and plasticity of melanoma cell states are thought to contribute to its ...
The projection specific logic to sampling imputs by the superior colliculus KU Leuven
Visual stimuli are detected by the retina and sent to a set of brain structures, forming neuronal circuits to trigger visually guided innate behaviors. These behaviors are also subject to an animal’s internal state and environmental conditioning. One of the unknown questions is how the sensory inputs from the retina and the non-retinal inputs from other brain regions are distributed in the neuronal circuits that control and regulate different ...
From business rule systems to logic. KU Leuven
In certain industries, such as medical or aerospace, failure can result in
unacceptable losses. To ensure safety, checks are implemented for every step
in the process: standards, certifications, testing, maintenance schedules. . . Forsoftware, this encompasses researching diverse approaches including automatic
testing, safer programming languages, declarative languages to separate
knowledge from execution, or generating ...
The logic of the market. Steiner/Waldorf education in a neoliberal context Ghent University
This project will 1) study the educational ideas and philosophy of Rudolf Steiner, 2) but also examine in which way these notions were and are applied in daily educational practice in Flanders between 1954 and today, and 3) question to what extent specific implementations of his ideas can offer an alternative to the prevailing logic of the market in education.