Interests
- Structural Operational Semantics
- Meta-languages
- Specification languages
- Functional programming
- Legal languages
Latest
- P4Check: Verification and Debugging for Stateful P4 Programs
- JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies.
- Reflections on the design, applications and implementations of eFLINT, a domain-specific language for legal compliance reasoning.
- Programming Languages and Verification
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.
- P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4
- Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages
- Cooperative Specification via Composition Control.
- 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