Projecten
Fundamentele problemen in software engineering: modelleren, verificatie en evolutie van software - MOVES Vrije Universiteit Brussel
Complexe systemen begrijpen en besturen. KU Leuven
Europe faces major challenges in science, society and industry, induced by the complexity of our hyper-connected world. Examples are the climate change, infectious diseases, artificial interconnected systems whose dynamics are beyond our understanding such as the internet, the global banking system and the power grid. A demand of performance emerges at an unprecedented scale: collaborative sensors and robots so to ensure competitiveness of ...
Sabbatperiode Tom Schrijvers: Toekomstgerichte toepassingen van programmeertalen KU Leuven
Mijn wetenschappelijke onderzoek tijdens de sabbatsperiode omvat drie krachtlijnen. De eerste krachtlijn is samenwerking met onderzoekers aan Imperial College London, en bij uitbreiding aan andere Britse onderzoeksinstellingen. Programmeertalen, mijn onderzoeksdomein, is sterk uitgebouwd in het Verenigd Koninkrijk (o.a., ook aan Oxford University, Cambridge University, University of Kent, University of Edinburgh) met aan Imperial College ...
Modularisatie van modeleer- en simulatietalen via expliciet modeleren van taalfragmenten. Universiteit Antwerpen
Objectmogelijkheden op laag niveau voor formeel waterdichte beveiliging. KU Leuven
Object-mogelijkheden (ocaps) zijn een techniek voor fijnmazige scheiding van bevoegdheden in programmeertalen, met toepassingen in beveiliging en software-engineering. Ocaps worden praktisch gebruikt in programmeertalen op hoog niveau zoals JavaScript, maar de laatste tijd is er ook een hernieuwde belangstelling voor capaciteitsmachines: processors die ocaps toepassen op het lage niveau van assembleertalen (lowcaps). Beveiligingsmaatregelen ...
Joint R&D 2022: ECOPIPE: optimalisatie van energieverbruik in pijpleiding-architecturen. Vrije Universiteit Brussel
SBO Project : Basiskamp Zero - De weg naar volautomatisch en autonoom testen Vrije Universiteit Brussel
biedt disruptieve bedrijven (bv. Netflix, Spotify, Zalando, Amazon, Uber)
het strategisch voordeel om diensten snel en wereldwijd uit te rollen.
Andere software-intensieve bedrijven zullen ongetwijfeld volgen.
Ondanks de strategische voordelen, houden “cloud-native” applicaties
een risico in. Hun testbaarheid wordt belemmerd door nietdeterminisme ...
Het leren van constructiegrammatica's gebaseerd op semantisch geannoteerde corpora of gesitueerde communicatieve interacties Vrije Universiteit Brussel
door een computersysteem geleerd kunnen worden, gebaseerd op
semantisch geannoteerde corpora of communicatieve interacties in
gesitueerde leraar-leerder scenario's. De resultaten van dit project
zouden een grote doorbraak betekenen op het gebied van
constructiegrammatica, aangezien ze voor het eerst zouden
aantonen hoe ...
CHAQ: Change-centric Quality Assurance (Veranderingen als eerste klas-burgers tijdens softwareontwikkeling) Vrije Universiteit Brussel
Geautomatiseerde testen, bug trackers en statische ...