Name:L. Thomas van Binsbergen

Bio:

Thomas van Binsbergen is investigating modular techniques for the specification of the semantics and syntax of software languages and is applying these techniques for the development of meta-languages and domain-specific languages. Recent topics of interest include fundamental programming construct specification (funcons), incremental and exploratory programming environments (such as REPLs and notebooks), domain-specific languages in the context of distributed data processing, and legal reasoning in distributed access control.

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

Country:Netherlands

Affiliation:University of Amsterdam

Research interests:Programming Languages, Software Languages, Domain-Specific Languages, Meta-Languages, Semantics, Syntax