Projecten
Pionierende Praktijken.Het herlezen van architectuur in Vlaanderen in de periode 1960 en '70. KU Leuven
In Vlaanderen zijn verschillende uitzonderlijke gebouwen uit de jaren zestig en zeventig, die een centrale rol spelen in het stedelijk weefsel, vervallen of fysiek in verval. Er is een acuut gebrek aan inzichten om hun status als monument, de omschakelingsprocessen voor de toekomst en de hoge eisen voor restauratie te sturen. Dit onderzoek heeft als doel meer kennis over deze ‘baanbrekende gebouwen’ te genereren en specifieke methoden te ...
Vorm geven aan maatschappelijk engagement. Architectuur denken in de jaren '70 en '80. KU Leuven
De overkoepelende vraag van deze dissertatie, alsook die van mijn collega Elke Couchez, betreft de beginjaren van architectuurtheorie in Vlaanderen. Welke factoren zorgden ervoor dat architectuurtheorie is kunnen uitgroeien tot een zelfbewuste en erkende discipline in de jaren ’80 en ’90?
Om deze vraag te kunnen stellen, wordt het begrip ‘architectuurtheorie’ verruimd tot ‘architectuurintellectualiteit’, of simpelweg ‘het denken over ...
GEBAREN VERTOLKEN ARGUMENTEN Architectuurtheorie in de studio en het klaslokaal196x-199x KU Leuven
Architectuurtheorie – het veld dat de esthetische, technologische en sociale uitdagingen van architectuur bevraagt – nam pas recentelijk aan belang toe in het architectuuronderwijs. Deze studie verkent de ontwikkeling van architectuurtheorie als een academische discipline in de tweede helft van de 20e eeuw. Ze richt zich op België, en meer specifiek het noordelijke deel Vlaanderen. Dit terrein wordt in kaart gebracht door het maken van enkele ...
Onevenwicht statistische mechanica van kleine systemen Universiteit Hasselt
Betrouwbare Gedecentraliseerde Adaptieve Software Systemen KU Leuven
Architectuur in Antwerpen: van Academie tot Universiteit. Universiteit Antwerpen
Aantoonbaar veilige systemen met universele contracten en veilige compilatie. KU Leuven
Een van de drijvende ambities van mijn onderzoek is het mogelijk en betaalbaar maken om systemen te ontwikkelen met een rigoureus bewijs van belangrijke beveiligingseigenschappen.
Stel je bijvoorbeeld voor dat je de software voor een slim apparaat bouwt met een computergeverifieerde garantie dat het uitsluitend zal communiceren met servers op example.com, of software voor een industriele controller waarvan bewezen kan worden dat hij ...