Projects
Formalizing ISA Security Properties as Universal Contracts KU Leuven
Instruction Set Architectures (ISAs) are often specified in pseudo code, which makes it impossible to formalize properties about them. Using a formal language to describe the semantics of ISAs enables formal study, and improves testability and experimentation. Sail is a language built for this purpose; which has been adopted by RISC-V International. A promising approach to specify security properties of ISAs is by using universal contracts, ...
Bitstring Semantics at the interface between linguistics and psychology KU Leuven
This doctoral research is conducted within the interdisciplinary BITSHARE project, which aims to explore the many potential applications of Bitstring Semantics that were recently developed within philosophical logic. By uniting various disciplines that are concerned with the study of meaning and reasoning (linguistics, psychology, philosophy and computer science), the project hopes to establish the utility of Bitstring Semantics as a shared ...
A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees KU Leuven
Modern software systems are increasingly characterized by uncertainties in the operating context and user requirements. These uncertainties are difficult to predict at design time. Achieving the quality goals of such systems depends on the ability of the software to deal with these uncertainties at runtime. A self-adaptive system employs a feedback loop to continuously monitor and adapt itself to achieve particular quality goals (i.e., ...
DESCARTES - infectious DisEaSe eConomics and Ai with guaRanTEeS Vrije Universiteit Brussel
Brainwave authentication KU Leuven
This thesis blends information security, cognitive neuroscience, logic and artificial intelligence in order to create a new type of credential that ensures the liveness and rationality of the user - a dynamic 'brainprint', where we want to know whether, when and into what it might devolve, while also being able to somehow capture its normal variability over time. It begins with trying to find a credential that could convey the user's ability ...
Knowledge-driven development of telescope control systems KU Leuven
Since the very first observations of Jupiter's moons by Galileo Galilei more than four centuries ago, the size of ground-based optical telescopes has been growing steadily up to the current generation of telescopes with primary mirrors of 10 meters in diameter. The next generation of "extremely large telescopes" (ELTs) currently under preparation will almost quadruple that figure and will, for the first time, have atmospheric turbulence ...
Co-evolution of Knowledge Bases: Languages and Tools KU Leuven
Useful domain knowledge resides in the heads of key employees, but it remains to a large extent tacit. Storing this knowledge explicitly in a so-called knowledge base (KB) has many advantages. However, the process of building a KB by having a knowledge engineer repeatedly interview the domain experts, is slow and costly. To alleviate this, we envision a co-evolution process where the domain expert and knowledge engineer co-create the KB ...
A StarAI Approach to Safety in Learning Systems KU Leuven
Artificial intelligence has become ubiquitous in our daily lives. However, numerous accidents in AI research and applications have demonstrated the potential risks of AI, ranging from language models being verbally abusive to robotic systems causing physical harm. The development of AI brings an emerging concern of harming the world in various ways. Addressing the challenge of designing AI solutions that align with the intentions of human ...
Automated Design-for-Test and Data-Learning-based Methods for Testing of Analog and Mixed-Signal Integrated Circuits KU Leuven
Validation and testing are important steps in the design of analog and mixed-signal integrated circuits. Both require extensive and repeated simulations of the circuit in the light of process/supply/temperature variability and in the light of the possible fabrication defects. All this causes these design steps to have prohibitive CPU times in practice, especially for larger circuits. The goal of this PhD project is to investigate and ...