L. Thomas van Binsbergen

Registered user since Tue 9 Dec 2014

Name: L. Thomas van Binsbergen

Bio: Thomas van Binsbergen is designing and implementing domain-specific languages for the formal specification of norms from a variety of sources such as laws, regulations, policies, contracts and codes of conduct. The resulting formalizations are used in policy-enhanced, distributed software architectures for data sharing. By ensuring compliance with the formalized norms, such systems reduce the risk of violating regulations and add value by increasing the trust in sharing activities.

The SSPDDP project is a collaboration between the knowledge institutes UvA, CWI and VU and the industrial partners ABN AMRO, ING and KLM to develop secure and scalable techniques for policy-enforced data sharing. The project investigates fundamental research questions to develop future-proof, cryptographic solutions to secure and trustworthy data sharing, automatic policy enforcement in distributed systems and bringing the aforementioned data sharing methods to scale. Besides being academically relevant, the outcomes of these investigations suggest a principled, sound and pragmatic mode of operation that can add value to the industry partners in several ways.

In the past, Van Binsbergen has developed modular techniques for describing the semantics of programming languages as part of the PLanCompS project with Peter Mosses and parser combinators for generalised top-down parsing with Adrian Johnstone and Elizabeth Scott. The results are described in his PhD thesis titled “Executable Formal Specification of Programming Languages with Reusable Components” (http://ltvanbinsbergen.nl/thesis/thesis.pdf).

Keywords: modular language definition, domain-specific languages, formal specification, modelling languages, policy-enhanced data-sharing, generalised top-down parsing, declarative programming, purely functional programming, I-MSOS, FunCons, attribute grammars, computer science education

Country: Netherlands

Affiliation: Centrum Wiskunde & Informatica

Personal website: http://ltvanbinsbergen.nl

Research interests: Norm Specification, Regulated Systems, Theoretical Computer Science, Programming Languages, Formal Semantics, Functional Programming, Automated Tutoring Systems

Contributions

GPCE 2020Author of eFLINT: A Domain-Specific Language for Executable Norm Specifications within the GPCE 2020-track
SPLASH 2020Author of A principled approach to REPL interpreters within the Onward! Papers-track
SLE 2018Author of GLL Parsing with Flexible Combinators within the SLE 2018-track
GPCE 2018Author of Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper) within the GPCE 2018-track
PEPM 2018Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track
Parsing@SLE 2016Author of Generalised Parsing and Combinator Parsing: a Happy Marriage? within the Parsing@SLE-track
Modularity 2016 Author of Tool Support for Component-Based Semantics (second presentation) within the Demos & Posters-track
Author of Tool Support for Component-Based Semantics within the Demos & Posters-track
PEPM 2015Author of Linearly Ordered Attribute Grammars within the PEPM 2015-track