Projecten
Relationeel redeneren voor geavanceerde typesystemen in geavanceerde programmalogica's KU Leuven
Vele interessante eigenschappen van programma's en programmeertalen, zoals contextuele verfijning en equivalentie, niet-interferentie (een veiligheidseigenschap), en compilercorrectheid, zijn relationeel. De techniek genaamd 'logische relaties' is een veelzijdige bewijstechniek om relationele eigenschappen, en in het bijzonder contextuele verfijning en equivalentie, aan te tonen. De techniek is oorspronkelijk ontwikkeld voor puur functionele ...
Hoe interageert de crossmodale reorganizatie bij congenitale blindheid met de categorische representatie in de ventrale occipito-temporale cortex. KU Leuven
Ontwikkeling van isogene humane embryonale stamcel-afgeleide 3D neuro-immuun celcultuurmodellen: preklinische evaluatie van interleukine 13 voor microglia en macrofaag immunomodulatie onder pathologische conditie van hersenberoerte. Universiteit Antwerpen
Inzicht in de heterogeniteit van balanscontrole bij kinderen met een coƶrdinatie-ontwikkelingsstoornis en de impact ervan op motorische prestaties: een synergetische aanpak op basis van hersenbeeldvorming, neuromechanica en functionele evaluaties. Universiteit Antwerpen
Begrijpen van het concurrentievermogen en de functionele rol van micro-organismen in gefermenteerde voedselecosystemen Vrije Universiteit Brussel
Rigoureuze veiligheidsgaranties voor gecompileerde programmeertalen - BOF Tenure Track mandaat (WE/2018/004) Vrije Universiteit Brussel
- Object capabiliteiten en capability machines
- Modulaire effecten en objectgeorienteerde talen
- Nieuwe redeneerprincipes voor dependently-typed talen
- Veilige compilatie
Analytische combinatoriek van het oneindige: een Tauberse aanpak Universiteit Gent
In dit project gaat het over analytische methoden om combinatorische problemen die van de logica afkomstig zijn aan te gaan. Bedoeld wordt systematische werktuigen te ontwikkelen om asymptotische formules voor telfuncties van bewijstheoretische ordinalen te verkrijgen met hulp van Tauberse stellingen voor de Laplacegetransformeerde. We beogen deze formules toe te passen om de reeds gekende resultaten over faseovergangen voor ...
Neuromotorische kenmerken van de pathologische gang bij kinderen met cerebrale parese: een geĆÆntegreerde multidisciplinaire benadering ter ondersteuning van klinische besluitvorming. KU Leuven
Bij kinderen met cerebrale parese hebben primaire en secundaire neuromotorische stoornissen een negatieve invloed op de normale ontwikkeling van functionele activiteiten zoals het gaan. Het algemene doel van dit onderzoeksprogramma is het ontwikkelen en verbeteren van een geĆÆntegreerd multidisciplinair raamwerk om de interactie tussen neuromotorische stoornissen en looppathologie te evalueren, waardoor de huidige en innovatieve methodologieĆ«n ...