Home
News
Publications
Projects
Software
People
Contact
L. Thomas van Binsbergen
Assistant Professor
University of Amsterdam
Personal Homepage
Latest
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
Cite
×
