-
-
The small object argument is an important tool in homotopy theory and recently also in logic. Originally proved by Quillen in 1967, it has evolved significantly over time. In recent work Bourke and Garner proved the most general version of the small object argument thus far, using the notion of c...
-
There is little agreement in formal argumentation on how to evaluate bipolar argumentation, where supporting arguments are considered in addition to attacking arguments. In contrast, informal argumentation has well established approaches to argumentation that deal with supports. In this thesis, w...
-
The discovery and subsequent disclosure of the Spectre and Meltdown vulnerabilities have kickstarted an era of speculative execution vulnerabilities that exploit hidden microarchitectural CPU features to exfiltrate secret data. So far, awaiting hardware-level fixes in new products, the majority o...
-
The present thesis studies the programmatic and formal choices made in the development of Reverse Mathematics (RM), a framework for the analysis and extraction of foundational assumptions underlying ordinary-mathematical theorems. It offers a critique of RM, based on its unfaithful representation...
-
Secure Multi-party Computation (MPC), which allows multiple parties to jointly compute a function over their inputs while keeping the inputs private, is one of the important research directions in cryptography, and plays a vital role in fields like auctions and electronic votes.
Oblivious Transf...
-
This project explores predicate evaluation for the FastLanes file format within the framework of cascaded encoding, which encodes the data in multiple layers to achieve higher compression ratios. Predicate pushdown is an optimisation technique that accelerates selective queries by applying filter...
-
This thesis provides a full formalization of the formal language for the interpretation of normative texts of the TNO Norm Engineering Project. The FLINT language is built to give a standardized representation of the interpretations of normative texts (laws, contracts, guidelines etc.).
The appr...
-
This thesis explores the effect of social structure on the beliefs and knowledge of agents who reason in an evidence-based manner. This is done by formally analysing the mechanisms of information flow in the networks formed by the agents. This thesis is a contribution to the formal foundation of ...
-
Sequent calculus, a method of formal logical argumentation developed by Gerhard Gentzen, is often used for backward-searching proofs. The success of sequent calculus is significantly influenced by the specific order and choice of inference rules and principal formulas used. The selection of appro...
-
This paper formalizes knowledge base embedding algorithms using categorical logic, focusing on box embeddings. We introduce a novel approach utilizing hyperdoctrines, a categorical construction, to analyze the relationship between a knowledge base and its embedding space. We provide a proof of th...