Latest
- Programming Languages and Verification
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.
- 3 Papers Accepted at SPLASH 2024
- Data Governance
- Paper Accepted @GPCE24
- Paper Accepted at FORTE 2024
- Building a Digital Health Twin for Personalized Intervention: The EPI Project.
- Paper Accepted @JSS
- Compiler construction
- Programmeertalen
- Software Evolution
- Just released: AMdEX Reference Architecture version 1
- JustAct: Actions Universally Justified by Partial Dynamic Policies
- Thomas wins distinguished reviewer award for his SLE2023 reviews
- Paper Accepted @SLE23
- Just happened: Programming Languages in the Netherlands (PLNL) 2023
- Inter-faculty UvA funding success for CCI projects
- Postdoc Position on Digitally Enforceable Data Sharing contracts
- Paper Accepted @IEEE eScience 2022
- Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle
- Paper Accepted @AICOL-JURIX 2022
- Another Paper Accepted @SLE22
- Paper Accepted @SLE22
- Paper Accepted @EUMAS2022
- A Modular Architecture for Integrating Normative Advisors in MAS
- Dynamic generation of access control policies from social policies
- Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution
- A Generic Back-End for Exploratory Programming
- A principled approach to REPL interpreters
- eFLINT: a domain-specific language for executable norm specifications