Latest
- Compiler construction
- Programmeertalen
- 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
- Paper Accepted @AICOL-JURIX 2022
- Another Paper Accepted @SLE22
- Paper Accepted @SLE22
- Paper Accepted @EUMAS2022
- Dynamic generation of access control policies from social policies
- A Generic Back-End for Exploratory Programming
- A principled approach to REPL interpreters
- eFLINT: a domain-specific language for executable norm specifications